1723 search results - page 124 / 345 » Generalized file system dependencies |
127
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
122
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—When information or control in a multiagent system is private to the agents, they may misreport this information or refuse to execute an agreed outcome, in order to change the r...
107
Voted
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
114
click to vote
WSC
1998
15 years 5 months ago
1998
In this paper, an efficient simulation environment that utilizes compiler techniques to speed up simulation is presented. The method is based on the utilization of flexible, proce...
167
Voted
PE
2011
Springer
14 years 11 months ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...