6608 search results - page 1172 / 1322 » On the Completeness of Model Checking |
129
click to vote
APN
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
121
click to vote
DAWAK
1999
Springer
15 years 8 months ago
1999
Springer
A data warehouse DW can be seen as a set of materialized views de ned over remote base relations. When a query is posed, it is evaluated locally, using the materialized views, wi...
119
click to vote
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...
124
click to vote
DIS
1998
Springer
15 years 8 months ago
1998
Springer
We consider the exact learning in the query model. We deal with all types of queries introduced by Angluin: membership, equivalence, superset, subset, disjointness and exhaustivene...
152
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...