401 search results - page 58 / 81 » Formal Analysis of Meeting Protocols |
CSCW
1996
ACM
14 years 2 months ago
1996
ACM
Much of the support for communication across distributed communities has focused on meetings and intentional contact. However, most interactions within co-located groups occur whe...
DATE
2008
IEEE
14 years 13 days ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
GLOBECOM
2008
IEEE
14 years 5 months ago
2008
IEEE
—A common application of unattended sensor networks (WSN) is low data rate streaming from many scattered sensors to one or more sink nodes. To meet the stringent requirement of p...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— Radio Frequency Identification (RFID) systems have provided promising solutions to effective identification of a large number of tagged objects. However, RFID systems suffer ...
DATE
2005
IEEE
14 years 18 days ago
2005
IEEE
Transaction Level Modeling (TLM) approach is used to meet the simulation speed as well as cycle accuracy for large scale SoC performance analysis. We implemented a transaction-lev...