6308 search results - page 186 / 1262 » Modeling Urgency in Timed Systems |
136
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
147
click to vote
NAACL
2007
15 years 5 months ago
2007
In the framework of the Tc-Star project, we analyze and propose a combination of two Statistical Machine Translation systems: a phrase-based and an N-gram-based one. The exhaustiv...
150
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
146
click to vote
PADS
2009
ACM
15 years 11 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
146
click to vote
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...