407 search results - page 48 / 82 » An Automated Verification Method for Distributed Systems Sof... |
142
Voted
HPDC
2008
IEEE
15 years 9 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...
131
Voted
ISBI
2009
IEEE
15 years 9 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...
116
Voted
ICAI
2004
15 years 4 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...
121
Voted
ISSTA
2004
ACM
15 years 8 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...
138
Voted
KDD
2005
ACM
15 years 8 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...