1321 search results - page 136 / 265 » Logic Simulation Using Networks of State Machines |
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
The number of channels specified for IEEE 802.15.4 Low-Rate Wireless Personal Area Networks (LR-WPANs) is too few to operate many applications of WPANs in the same area. To overco...
WD
2010
14 years 7 months ago
2010
Gossip-based epidemic protocols are used to aggregate data in distributed systems. This fault-tolerant approach does neither require maintenance of any global network state nor kno...
MSO
2003
14 years 11 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
118
click to vote
FORTE
2009
14 years 7 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
ICNS
2006
IEEE
15 years 4 months ago
2006
IEEE
Multimedia wireless network QoS support has become one of the most important researches in recent years. IEEE wireless 802.11e is the most hopeful among these methods. However, 80...