183 search results - page 17 / 37 » Reasoning About Assumptions in Graphs of Models |
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
AUSAI
2005
Springer
14 years 2 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
ML
2010
ACM
13 years 7 months ago
2010
ACM
Abstract Clustering Stability methods are a family of widely used model selection techniques for data clustering. Their unifying theme is that an appropriate model should result in...
TON
2010
13 years 3 months ago
2010
We identify common hypotheses on which a large number of distinct mathematical models of WLANs employing IEEE 802.11 are founded. Using data from an experimental test bed and packe...
ICPP
2002
IEEE
14 years 1 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...