368 search results - page 11 / 74 » formats 2004 |
EPK
2004
14 years 11 months ago
2004
: Heterogeneous and proprietary interchange formats pose a major problem for business process management. This applies in particular to processes that have been modelled as Event-D...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
: We will try to tackle both the theoretical and practical aspects of a very important problem in chess programming as stated in the title of this article
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
FORMATS
2004
Springer
15 years 1 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...