1541 search results - page 255 / 309 » Tools and Techniques for Model Checking Networked Programs |
136
click to vote
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
123
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Bargaining networks model the behavior of a set of players who need to reach pairwise agreements for making profits. Nash bargaining solutions in this context correspond to soluti...
162
Voted
ADT
2011
14 years 4 months ago
2011
Currently, there is a strong effort of the research community in rethinking the Internet architecture to cope with its current limitations and support new requirements. Many resea...
96
Voted
IPSN
2010
Springer
15 years 7 months ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
105
Voted
SENSYS
2009
ACM
15 years 7 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...