Sciweavers

4305 search results - page 590 / 861
» Analysing Protocol Implementations
Sort
View
WORDS
2003
IEEE
15 years 10 months ago
Middleware Support for Multicast-based Data Dissemination: A Working Reality
Multicasting is an effective method to guarantee scalability of data transfer. Multicast applications range from the relief of Internet hot spots to healthcare alert systems. Much...
Panos K. Chrysanthis, Vincenzo Liberatore, Kirk Pr...
AC
2003
Springer
15 years 10 months ago
Application of Coloured Petri Nets in System Development
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
Lars Michael Kristensen, Jens Bæk Jør...
137
Voted
ERSHOV
2003
Springer
15 years 10 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
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...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
160
Voted
EUROPAR
2003
Springer
15 years 10 months ago
Short Message Service in a Grid-Enabled Computing Environment
Pervasive computing provides an attractive vision for the future of computing. Mobile computing devices such as mobile phones together with a land-based and wireless communication ...
Fenglian Xu, M. Hakki Eres, Simon J. Cox
HOLOMAS
2003
Springer
15 years 10 months ago
Integration of Automation Resources in Holonic Manufacturing Applications
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...
Paulo Leitão, Raymond Boissier, Francisco C...