447 search results - page 80 / 90 » Similarity for reuse of specifications in communication soft... |
ICDCS
1990
IEEE
14 years 23 days ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
MOBISYS
2010
ACM
13 years 11 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
SDL
2007
13 years 10 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
CACM
1998
13 years 8 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
We consider a mobile ad hoc network setting where Bluetooth enabled mobile devices communicate directly with other devices as they meet opportunistically. We design and implement ...