1116 search results - page 56 / 224 » Applying Predicate Abstraction to Abstract State Machines |
103
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
92
Voted
FPL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...
96
Voted
FORTE
1998
15 years 2 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
78
Voted
ICARIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
113
Voted
ENTCS
2006
15 years 25 days ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...