553 search results - page 46 / 111 » A General Theory of Additive State Space Abstractions |
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...
DALT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
FATES
2004
Springer
14 years 12 days ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...