400 search results - page 80 / 80 » Moving Proofs-As-Programs into Practice |
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
With the rapid spread of various mobile terminals in our society, the importance of secure positioning is growing for wireless networks in adversarial settings. Recently, several ...
MONET
2008
13 years 4 months ago
2008
Wireless networks that operate on batteries are imposed with energy constraints and long distance communications between nodes are not desirable. Implementing Relay Nodes (RNs) can...
NETWORK
2006
13 years 4 months ago
2006
IP telephony over mobile ad hoc networks is a topic of emerging interest in the research arena as one of the paths toward the fixed-mobile convergence in telecommunications networ...
TOH
2008
13 years 4 months ago
2008
The last few years have seen many exciting developments in the area of tactile and multisensory interface design. One of the most rapidly moving practical application areas for the...