8190 search results - page 305 / 1638 » From Timed to Hybrid Systems |
178
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Many real-time systems need to maintain fresh views which are derived from shared data that are distributed among multiple sites. When a base data item changes, all derived views ...
233
click to vote
HEURISTICS
2010
15 years 1 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
229
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
186
click to vote
SSDBM
2000
IEEE
15 years 11 months ago
2000
IEEE
In a previous paper [Shoshani et al 99], we described a system called STACS (Storage Access Coordination System) for High Energy and Physics (HEP) experiments. These experiments g...
207
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
With the rise of VR, the internet, and mobile technologies and the shifts in educational focus from teaching to learning and from solitary to collaborative work, it's easy (bu...