6167 search results - page 1082 / 1234 » Can Refinement be Automated |
159
click to vote
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
131
click to vote
EDCC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
103
click to vote
RECOMB
1998
Springer
15 years 7 months ago
1998
Springer
The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...
134
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
121
click to vote
ICFP
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...