2875 search results - page 294 / 575 » Model checking agentspeak |
129
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci...
120
click to vote
CAISE
2001
Springer
15 years 8 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
133
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
115
Voted
FTDCS
1997
IEEE
15 years 7 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
136
Voted
SAT
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...