1116 search results - page 80 / 224 » Applying Predicate Abstraction to Abstract State Machines |
154
click to vote
ASPDAC
1995
ACM
15 years 8 months ago
1995
ACM
Abstract - An approach to top down design for testability using register-transfer level(RTL) partial scan selection is described. We propose a scan selection technique based on tes...
128
click to vote
PTS
2007
15 years 5 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
139
click to vote
DAGSTUHL
1994
15 years 5 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
141
click to vote
ICMLA
2010
15 years 1 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
152
click to vote
IICAI
2003
15 years 5 months ago
2003
Abstract: Democratic societies throughout the world, it appears, are facing a new type of threat dubbed "asymmetric threat." In this new threat environment the world gove...