5699 search results - page 955 / 1140 » Alternating model trees |
174
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
173
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
We propose to use node mobility to enhance routing capability in a mobile network. A dual-control planes model is presented, which includes the traditional S(stationary)-plane for ...
204
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Middleware support for pervasive context-aware systems relieves context-aware applications from dealing with the complexity of context-specific operations such as context acquisit...
160
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
The widespread adoption of mobile electronic devices and the advent of wearable computing has encouraged the development of compact alternatives to the keyboard and mouse. These i...
169
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
We present rendezvous-based access control for access control in the pre-hospital environment. Rendezvous-based access control is a simple cryptographic access control method that...