198 search results - page 36 / 40 » Describing Secure Interfaces with Interface Automata |
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
BROADNETS
2006
IEEE
14 years 1 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
Infrastructure-as-a-Service (IaaS) cloud computing offers new possibilities to scientific communities. One of the most significant is the ability to elastically provision and relin...
ISI
2006
Springer
13 years 9 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
IBMRD
2011
13 years 4 months ago
2011
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...