623 search results - page 118 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
IEEEPACT
2006
IEEE
14 years 1 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
LREC
2010
13 years 8 months ago
2010
Due to upcoming mobile telephony services with higher speech quality, a wideband (50 Hz to 7 kHz) mobile telephony derivative of TIMIT has been recorded called WTIMIT. It allows a...
SAC
2005
ACM
14 years 28 days ago
2005
ACM
Peer-to-peer (P2P) has become an important computing model because of its adaptation, self-organization and autonomy etc. But efficient organization of the nodes in P2P networks i...
SENSYS
2004
ACM
14 years 24 days ago
2004
ACM
We propose B-MAC, a carrier sense media access protocol for wireless sensor networks that provides a flexible interface to obtain ultra low power operation, effective collision a...