5599 search results - page 422 / 1120 » Abstract State Services |
139
click to vote
DEXA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
163
click to vote
HYBRID
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
180
click to vote
UM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
148
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...
131
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Two-level quantum systems are important quantum models that are useful for the conceptual development and construction of quantum technologies. In this paper we provide...