554 search results - page 80 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
103
click to vote
CCGRID
2005
IEEE
15 years 7 months ago
2005
IEEE
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
126
click to vote
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
151
click to vote
AAAI
2006
15 years 3 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
131
click to vote
DKE
2007
15 years 1 months ago
2007
Random walk graph and Markov chain based models are used heavily in many data and system analysis domains, including web, bioinformatics, and queuing. These models enable the desc...
128
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...