Sciweavers

198 search results - page 10 / 40
» Analyzing Partially-Implemented Real-Time Systems
Sort
View
IPPS
2005
IEEE
15 years 5 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
ICANN
2009
Springer
15 years 3 months ago
Large-Scale Real-Time Object Identification Based on Analytic Features
Inspired by biological findings, we present a system that is able to robustly identify a large number of pre-trained objects in realtime. In contrast to related work, we do not res...
Stephan Hasler, Heiko Wersing, Stephan Kirstein, E...
WSC
1997
15 years 1 months ago
Requirements for Transitioning Business Process Simulation Models to Real-Time Operational Systems
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
Peter Floss
117
Voted
ICFEM
1997
Springer
15 years 3 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
HASE
1997
IEEE
15 years 3 months ago
High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication
: The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel compute...
K. H. Kim, Chittur Subbaraman, Eltefaat Shokri