4303 search results - page 829 / 861 » Are We There Yet |
98
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
117
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
116
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we describe a multi-agent simulation called the Human Agent Virtual Environment (or HAVE). HAVE is a test bed to explore agent-environment interaction in multiagent ...
120
Voted
BIOWIRE
2007
Springer
15 years 7 months ago
2007
Springer
Vehicular sensor networks (VSNs) provide a collaborative sensing environment where mobile vehicles equipped with sensors of different nature (from chemical detectors to still/video...
86
Voted
FC
2007
Springer
15 years 7 months ago
2007
Springer
1 2 There is a critical need in computer security to communicate risks and thereby enable informed decisions by naive users. Yet computer security has not been engaged with the sc...