268 search results - page 35 / 54 » Concurrent Systems Analysis Using ECATNets |
100
click to vote
CONCURRENCY
2007
14 years 11 months ago
2007
: We present the initial architecture and implementation of VLab, a Grid and Web Service-based system for enabling distributed and collaborative computational chemistry and materia...
102
click to vote
CONCURRENCY
2002
14 years 11 months ago
2002
In this paper, we outline the design of a recommendation system (MyPYTHIA) implemented as a web portal. MyPYTHIA's design objectives include evaluating the quality and perfor...
AIPS
1994
15 years 1 months ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...