4418 search results - page 727 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
282
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
164
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In telepresence and teleaction systems the haptic communication channel plays a central role. As it closes a global control loop any introduced communication delay possibly destab...
172
click to vote
WMCSA
2008
IEEE
16 years 25 days ago
2008
IEEE
Air pollution, traffic congestion, stress and accidents are common features of today’s road transportation experience. New approaches to improving the efficiency and safety of t...
182
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days ago
2007
Springer
Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics have been developed aiming to ...
157
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— We propose a new framework for providing robust location detection in emergency response systems, based on the theory of identifying codes. The key idea of this approach is to ...