3938 search results - page 104 / 788 » Interactive Protocols on the Reals |
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
Wireless devices that communicate using the IEEE 802.11 protocol can be used to create mobile ad-hoc networks (MANETs). Many interesting applications using MANETs are realizable i...
88
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
113
Voted
DSRT
2003
IEEE
15 years 6 months ago
2003
IEEE
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
123
Voted
DEXA
1999
Springer
15 years 5 months ago
1999
Springer
Due to the unpredictability of mobile network, it is difficult to meet transaction deadlines in a mobile distributed real-time database system (MDRDTBS). We propose the idea of tra...