3387 search results - page 190 / 678 » Model-Checking for Real-Time Systems |
220
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Supporting uninterrupted services for distributed soft real-time applications is hard in resource-constrained and dynamic environments, where processor or process failures and sys...
178
click to vote
AAAI
2004
15 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
209
Voted
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
179
Voted
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...
187
click to vote
ICANN
1997
Springer
15 years 11 months ago
1997
Springer
Optical ow elds are a primary source of information about the visual scene in technical and biological systems. In a step towards a system for real time scene analysis we have deve...