Sfoglia per Autore
A policy-based publish/subscribe middleware for sense-and-react applications
2011-01-01 Giovanni, Russello; Mostarda, Leonardo; Naranker, Dulay
Effects of IDSs on the WSNs Lifetime: Evidence of the Need of New Approaches
2012-01-01 Krishna, Doddapaneni; Enver, Ever; Orhan, Gemikonakli; Mostarda, Leonardo; Alfredo, Navarra
UHEED - An Unequal Clustering Algorithm for Wireless Sensor Networks
2012-01-01 E., Ever; R., Luchmun; Mostarda, Leonardo; A., Navarra; P., Shah
A model-driven engineering framework for architecting and analysing Wireless Sensor Networks
2012-01-01 Krishna, Doddapaneni; Enver, Ever; Orhan, Gemikonakli; Ivano, Malavolta; Mostarda, Leonardo; Henry, Muccini
Path Loss Effect on Energy Consumption in a WSN
2012-01-01 Krishna, Doddapaneni; Enver, Ever; Orhan, Gemikonakli; Ivano, Malavolta; Mostarda, Leonardo; Henry, Muccini
Modelling Attacker with Deciding Security Properties by Induction and Deduction
2013-01-01 Yoney Kirsal, Ever; Agozie, Eneh; Orhan, Gemikonakli; Mostarda, Leonardo
Implementing Adaptation and Reconfiguration Strategies in Heterogeneous
2013-01-01 A., Di Marco; F., Gallo; O., Gemikonakli; Mostarda, Leonardo; F., Raimondi
Performability Modelling and Analysis of Clustered Wireless Sensor Networks with Limited Storage CapacitiesInternet and Distributed Computing Systems
2014-01-01 Fredrick A., Omondi; Enver, Ever; Purav, Shah; Orhan, Gemikonakli; Mostarda, Leonardo
An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol
2014-01-01 Mehmood, NADEEM QAISAR; Culmone, Rosario; Mostarda, Leonardo
Message from the EEEWSN 2014 workshop chairs
2014-01-01 Mostarda, Leonardo
Analysing the Combined Kerberos Timed Authentication Protocol and Frequent Key Renewal Using CSP and Rank Functions
2014-01-01 Y., Kirsal Ever; A., Eneh; O., Gemikonakli; Mostarda, Leonardo
Symbolic Model-checking for Resource-Bounded ATL
2015-01-01 N., Alechina; B., Logan; H. N., Nguyen; F., Raimondi; Mostarda, Leonardo
Packet Arrival Analysis in Wireless Sensor Networks
2015-01-01 Doddapaneni, K.; Shah, P.; Ever, E.; Tasiran, A.; Omondi, F. A.; Mostarda, Leonardo; Gemikonakli, Orhan
A Constrained ECA Language Supporting Formal Verification of WSNs
2015-01-01 Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi
Analytical Modelling and Performability Analysis for Cloud Computing Using Queuing System.
2015-01-01 Kirsal, Yonal; Ever, Yoney Kirsal; Mostarda, Leonardo; Gemikonakli, Orhan
RUHEED-Rotated Unequal Clustering Algorithm for Wireless Sensor Networks
2015-01-01 Aierken, N.; Gagliardi, R.; Mostarda, L.; Ullah, Z.
Does the Assumption of Exponential Arrival Distributions in Wireless Sensor Networks Hold?
2016-01-01 Gemikonakli, Orhan; Mostarda, Leonardo; Shah, Purav; Ever, Enver; Omondi, Fredrick A.; Doddapaneni, Krishna; Tasiran, Ali
Message from the EEEWSN 2016 Symposium Chairs
2016-01-01 Ever, E.; Mostarda, L.
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A policy-based publish/subscribe middleware for sense-and-react applications | 1-gen-2011 | Giovanni, Russello; Mostarda, Leonardo; Naranker, Dulay | Articolo | |
Effects of IDSs on the WSNs Lifetime: Evidence of the Need of New Approaches | 1-gen-2012 | Krishna, Doddapaneni; Enver, Ever; Orhan, Gemikonakli; Mostarda, Leonardo; Alfredo, Navarra | Contributo in atto di convegno su volume | |
UHEED - An Unequal Clustering Algorithm for Wireless Sensor Networks | 1-gen-2012 | E., Ever; R., Luchmun; Mostarda, Leonardo; A., Navarra; P., Shah | Contributo in atto di convegno su volume | |
A model-driven engineering framework for architecting and analysing Wireless Sensor Networks | 1-gen-2012 | Krishna, Doddapaneni; Enver, Ever; Orhan, Gemikonakli; Ivano, Malavolta; Mostarda, Leonardo; Henry, Muccini | Contributo in atto di convegno su volume | |
Path Loss Effect on Energy Consumption in a WSN | 1-gen-2012 | Krishna, Doddapaneni; Enver, Ever; Orhan, Gemikonakli; Ivano, Malavolta; Mostarda, Leonardo; Henry, Muccini | Contributo in atto di convegno su volume | |
Modelling Attacker with Deciding Security Properties by Induction and Deduction | 1-gen-2013 | Yoney Kirsal, Ever; Agozie, Eneh; Orhan, Gemikonakli; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
Implementing Adaptation and Reconfiguration Strategies in Heterogeneous | 1-gen-2013 | A., Di Marco; F., Gallo; O., Gemikonakli; Mostarda, Leonardo; F., Raimondi | Contributo in atto di convegno su volume | |
Performability Modelling and Analysis of Clustered Wireless Sensor Networks with Limited Storage CapacitiesInternet and Distributed Computing Systems | 1-gen-2014 | Fredrick A., Omondi; Enver, Ever; Purav, Shah; Orhan, Gemikonakli; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol | 1-gen-2014 | Mehmood, NADEEM QAISAR; Culmone, Rosario; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
Message from the EEEWSN 2014 workshop chairs | 1-gen-2014 | Mostarda, Leonardo | Cura di atti, volumi e cataloghi | |
Analysing the Combined Kerberos Timed Authentication Protocol and Frequent Key Renewal Using CSP and Rank Functions | 1-gen-2014 | Y., Kirsal Ever; A., Eneh; O., Gemikonakli; Mostarda, Leonardo | Articolo | |
Symbolic Model-checking for Resource-Bounded ATL | 1-gen-2015 | N., Alechina; B., Logan; H. N., Nguyen; F., Raimondi; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
Packet Arrival Analysis in Wireless Sensor Networks | 1-gen-2015 | Doddapaneni, K.; Shah, P.; Ever, E.; Tasiran, A.; Omondi, F. A.; Mostarda, Leonardo; Gemikonakli, Orhan | Contributo in atto di convegno su volume | |
A Constrained ECA Language Supporting Formal Verification of WSNs | 1-gen-2015 | Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Tesei, Luca; Franco, Raimondi | Contributo in atto di convegno su volume | |
Analytical Modelling and Performability Analysis for Cloud Computing Using Queuing System. | 1-gen-2015 | Kirsal, Yonal; Ever, Yoney Kirsal; Mostarda, Leonardo; Gemikonakli, Orhan | Contributo in atto di convegno su volume | |
RUHEED-Rotated Unequal Clustering Algorithm for Wireless Sensor Networks | 1-gen-2015 | Aierken, N.; Gagliardi, R.; Mostarda, L.; Ullah, Z. | Contributo in atto di convegno su volume | |
Does the Assumption of Exponential Arrival Distributions in Wireless Sensor Networks Hold? | 1-gen-2016 | Gemikonakli, Orhan; Mostarda, Leonardo; Shah, Purav; Ever, Enver; Omondi, Fredrick A.; Doddapaneni, Krishna; Tasiran, Ali | Articolo | |
Message from the EEEWSN 2016 Symposium Chairs | 1-gen-2016 | Ever, E.; Mostarda, L. | Cura di atti, volumi e cataloghi | |
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo | Contributo in atto di convegno su volume | |
A Formal Model for Event-Condition-Action Rules in Intelligent Environments | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca | Contributo in atto di convegno su volume |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile