407 search results - page 48 / 82 » An Automated Verification Method for Distributed Systems Sof... |
HPDC
2008
IEEE
14 years 3 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
ISBI
2009
IEEE
14 years 3 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
ICAI
2004
13 years 10 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
KDD
2005
ACM
14 years 2 months ago
2005
ACM
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...