Sciweavers

1058 search results - page 85 / 212
» Fault-Tolerant Resource Reasoning
Sort
View
COMPSAC
2005
IEEE
15 years 6 months ago
Using AOP to Monitor and Administer Software for Grid Computing Environments
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
Mark Grechanik, Dewayne E. Perry, Don S. Batory
123
Voted
TITB
2002
142views more  TITB 2002»
15 years 9 days ago
Building a bioinformatics ontology using OIL
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
Robert Stevens, Carole A. Goble, Ian Horrocks, Sea...
ATAL
2004
Springer
15 years 6 months ago
On the Communication Complexity of Multilateral Trading
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both furthe...
Ulrich Endriss, Nicolas Maudet
106
Voted
AAMAS
2005
Springer
15 years 18 days ago
On the Communication Complexity of Multilateral Trading: Extended Report
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both further...
Ulle Endriss, Nicolas Maudet
101
Voted
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
15 years 6 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol