1898 search results - page 269 / 380 » About the art in this issue |
ECLIPSE
2007
ACM
14 years 1 months ago
2007
ACM
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
CSFW
2010
IEEE
14 years 1 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
INCDM
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Cassava Mosaic Disease (CMD) has been an increasing concern to all countries in sub-Saharan Africa that depend on cassava for both commercial and local consumption. Infor...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...