Sciweavers

244 search results - page 23 / 49
» A Model of Components with Non-regular Protocols
Sort
View
122
Voted
JNW
2006
82views more  JNW 2006»
15 years 1 months ago
Mobility Modeling in Mobile Ad Hoc Networks with Environment-Aware
Simulation is the most important and widely used method in the research of Mobile Ad hoc NETworks (MANET). The topology of MANET and the mobility of mobile nodes are the key factor...
Gang Lu, Gordon A. Manson, Demetrios Belis
122
Voted
WOWMOM
2006
ACM
137views Multimedia» more  WOWMOM 2006»
15 years 7 months ago
Evaluating Context Information Predictability for Autonomic Communication
Delay tolerant and mobile ad hoc networks, present considerable challenges to the development of protocols and systems. In particular, the challenge of being able to cope with the...
Mirco Musolesi, Cecilia Mascolo
SIGCOMM
2009
ACM
15 years 8 months ago
Modeling energy efficiency in wireless internet communication
For wireless mobile Internet users the length of the battery life is one of the most important performance factors. The energy efficiency of the data transmission over radio is a ...
Enrico Rantala, Arto Karppanen, Seppo Granlund, Pa...
ECOWS
2006
Springer
15 years 5 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
JAR
2008
115views more  JAR 2008»
15 years 1 months ago
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr...