796 search results - page 64 / 160 » An Overview of Separation Logic |
HASE
1998
IEEE
14 years 2 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
IC
2001
13 years 11 months ago
2001
The wide proliferation of wireless systems and the use of software radio technologies enables the employment of a heterogeneous network. In this concept services are delivered via...
CE
2006
13 years 10 months ago
2006
Studies have shown that videoconferencing is an effective medium for facilitating communication between parties who are separated by distance, particularly when learners are engag...
ANTSW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We consider a heterogeneous swarm robotic system composed of wheeled and aerial robots called foot-bots and eye-bots, respectively. The foot-bots are able to physically c...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....