908 search results - page 115 / 182 » Temporal Analysis of Time Bounded Digital Systems |
100
click to vote
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
115
click to vote
ICDE
2012
IEEE
13 years 9 days ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
KDD
2008
ACM
15 years 10 months ago
2008
ACM
Record label companies would like to identify potential artists as early as possible in their careers, before other companies approach the artists with competing contracts. The va...
108
click to vote
ERCIMDL
2001
Springer
15 years 2 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
IPL
2010
14 years 8 months ago
2010
In this paper, we look at the time complexity of two agreement problems in networks of oblivious mobile robots, namely, at the gathering and scattering problems. Given a set of ro...