3914 search results - page 382 / 783 » Automating SLA modeling |
172
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
162
Voted
TARK
2005
Springer
16 years 9 days ago
2005
Springer
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
134
click to vote
IDEAL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. One of the objectives of intelligent data engineering and automated learning is to develop algorithms that learn the environment, generate rules, and take possible course...
154
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be ...
166
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...