1454 search results - page 265 / 291 » The impact of the nanoscale on computing systems |
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
Security in the access to web contents and the interaction with web sites is becoming one of the most important issues in Internet. Servers need to provide certain levels of secur...
MOBICOM
2005
ACM
15 years 3 months ago
2005
ACM
Over the past few years, wireless networking technologies have made vast forays into our daily lives. Today, one can find 802.11 hardware and other personal wireless technology e...
SI3D
1997
ACM
15 years 1 months ago
1997
ACM
We investigate the synergy of the two hands for virtual object manipulation. We report results from an experiment which suggest that the two hands together provide sufficient per...
FCT
1997
Springer
15 years 1 months ago
1997
Springer
A connection management protocol establishes a connection between two hosts across a wide-area network to allow reliable message delivery. Following previous work of Kleinberg et a...