1992 search results - page 234 / 399 » Model Based Testing with Labelled Transition Systems |
147
Voted
BROADNETS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
132
click to vote
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
98
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...
170
Voted
TASLP
2008
15 years 3 months ago
2008
Abstract--Until quite recently, extending Phrase-based Statistical Machine Translation (PBSMT) with syntactic knowledge caused system performance to deteriorate. The most recent su...
109
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...