902 search results - page 120 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
103
click to vote
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
101
click to vote
ASE
2008
15 years 21 days ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
88
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
130
Voted
AAAI
2008
15 years 2 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
105
click to vote
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...