4167 search results - page 179 / 834 » Regression model checking |
105
Voted
ISBI
2008
IEEE
16 years 3 months ago
2008
IEEE
Here we present a scalable method to compute the structure of causal links over large scale dynamical systems that achieves high efficiency in discovering actual functional connec...
114
Voted
AUSAI
2005
Springer
15 years 8 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...
117
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
113
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
112
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...