11063 search results - page 198 / 2213 » On the existence of universal models |
164
click to vote
ICECCS
2005
IEEE
16 years 4 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
143
click to vote
ASM
2005
ASM
16 years 2 days ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
163
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
172
click to vote
ISMIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...
150
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...