1129 search results - page 204 / 226 » Formal Verification of Websites |
116
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
128
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
EWSA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
136
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
98
Voted
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...