2377 search results - page 154 / 476 » Hybrid Systems in TLA |
205
click to vote
RTAS
2008
IEEE
16 years 25 days ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
159
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
The joint spectral radius of a set of matrices is a measure of the maximal asymptotic growth rate that can be obtained by forming long products of matrices taken from the set. This...
141
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
196
click to vote
OTM
2004
Springer
15 years 11 months ago
2004
Springer
Peer-to-peer networks and grids offer promising paradigms for developing efficient distributed systems and applications. Event-based middleware is becoming a core architectural el...
165
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...