1121 search results - page 121 / 225 » Building Formal Requirements Models for Reliable Software |
117
click to vote
PDPTA
1997
15 years 5 months ago
1997
Abstract Fault-tolerant communication in a distributed system requires reliable connection management and message delivery. Reliable connection management includes the guarantee of...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
124
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
100
click to vote
ICAS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an integrated architecture for ad hoc Grids developed within the Java CoG Kit project. It provides an overview of the key component frameworks that collectivel...
134
Voted
SECON
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- Spatial dissemination is a specific form of information dissemination that enables mobile users to send information to other mobile users who are or will appear at a spe...