6800 search results - page 703 / 1360 » Testing with Functions as Specifications |
221
click to vote
ALGOSENSORS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Motivated by the need for agent classification in sensor networking and autonomous vehicle control applications, we propose a flexible and distributed stochastic automato...
183
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
157
click to vote
DEXAW
2004
IEEE
15 years 11 months ago
2004
IEEE
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...
228
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
187
click to vote
CIA
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...