525 search results - page 71 / 105 » Using Checkable Types in Automatic Protocol Analysis |
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
SIGOPSE
2000
ACM
14 years 2 days ago
2000
ACM
The demand for network-enabled limited-footprint mobile devices is increasing rapidly. A central challenge that must be addressed in order to use these next-generation devices eff...
CIVR
2006
Springer
13 years 11 months ago
2006
Springer
We introduce an interface for efficient video search that exploits the human ability to quickly scan visual content, after automatic retrieval has arrange the images in expected or...
CN
2007
13 years 7 months ago
2007
In this paper we provide a method to analytically compute the energy saving provided by the use of transmission power control (TPC) at the MAC layer in wireless sensor networks (W...