1362 search results - page 35 / 273 » Model Checking Large Network Protocol Implementations |
129
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
112
click to vote
ICAI
2007
15 years 3 months ago
2007
Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As biomolecular...
117
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
143
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
106
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...