2958 search results - page 289 / 592 » Extending and Implementing RASP |
159
click to vote
FASE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
181
click to vote
PERVASIVE
2007
Springer
16 years 23 days ago
2007
Springer
We propose a method through which dynamic sensor nodes determine that they move together, by communicating and correlating their movement information. We describe two possible solu...
196
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
174
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we present a robot middleware technology named Robot Software Communications Architecture (RSCA) for its use in networked home service robots. The RSCA provides a s...
126
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...