10 search results - page 2 / 2 » Calendars, Time Granularities, and Automata |
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
ACRI
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
DKE
2008
13 years 5 months ago
2008
We develop techniques for discovering patterns with periodicity in this work. Patterns with periodicity are those that occur at regular time intervals, and therefore there are two...
CORR
2011
Springer
13 years 2 days ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...