389 search results - page 19 / 78 » A Cooperative Repair Method for a Distributed Scheduling Sys... |
JSSPP
2005
Springer
15 years 5 months ago
2005
Springer
The recent success of Internet-based computing projects, coupled with rapid developments in peer-to-peer systems, has stimulated interest in the notion of harvesting idle cycles u...
114
click to vote
IJCAI
1997
15 years 1 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
109
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
112
click to vote
WFLP
2000
Springer
15 years 3 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...