2607 search results - page 49 / 522 » On the Architecture of System Verification Environments |
119
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
SAC
2010
ACM
15 years 19 hour ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
129
click to vote
ICIW
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, we discuss the suitability of using recommendation techniques for Web service discovery in distributed registry environments. The architecture we adopt consists in ...
105
click to vote
WOA
2003
15 years 1 months ago
2003
— Mobile Agents model is widely accepted as a good solution to simplify the coordination in a complex and distributed environment. Pervasive computing, presents many issues regar...
ASPDAC
2006
ACM
15 years 3 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...