Sciweavers

1655 search results - page 115 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
HYBRID
2007
Springer
16 years 13 days ago
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
Pau Martí, Manel Velasco
MTA
2011
263views Hardware» more  MTA 2011»
15 years 1 months ago
Event detection and recognition for semantic annotation of video
Research on methods for detection and recognition of events and actions in videos is receiving an increasing attention from the scientific community, because of its relevance for ...
Lamberto Ballan, Marco Bertini, Alberto Del Bimbo,...
SOCO
2010
Springer
15 years 4 months ago
Automatic detection of trends in time-stamped sequences: an evolutionary approach
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
Lourdes Araujo, Juan Julián Merelo Guerv&oa...
IPPS
1999
IEEE
15 years 10 months ago
Distributed, Scalable, Dependable Real-Time Systems: Middleware Services and Applications
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
Lonnie R. Welch, Binoy Ravindran, Paul V. Werme, M...
CAV
1994
Springer
113views Hardware» more  CAV 1994»
15 years 10 months ago
A Determinizable Class of Timed Automata
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
Rajeev Alur, Limor Fix, Thomas A. Henzinger