2214 search results - page 225 / 443 » Dynamic Protocol Recovery |
143
Voted
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
180
Voted
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
124
Voted
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
124
Voted
LCN
1998
IEEE
15 years 6 months ago
1998
IEEE
Active networks allow code to be loaded dynamically into network nodes at run-time. This code can perform tasks specific to a stream of packets or even a single packet. In this pa...
130
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...