3229 search results - page 178 / 646 » The Theory of Timed Automata |
178
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
202
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
172
click to vote
IWANN
1999
Springer
15 years 10 months ago
1999
Springer
Recently, a real-time clustering microchip based on the ART1 algorithm has been reported. That chip was able to classify 100-bit input patterns into up to 18 categories. However, i...
149
click to vote
BPM
2010
Springer
15 years 7 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
209
click to vote
ENTCS
2006
15 years 6 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...