571 search results - page 55 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—We argue that the traditional notion of trust as a relation among entities, while useful, becomes insufficient for emerging data-centric mobile ad hoc networks. In these system...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...
SOQUA
2004
14 years 11 months ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
JAIR
2008
14 years 9 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...