Sciweavers

2644 search results - page 278 / 529
» Complex Interacting Infrastructure Systems
Sort
View
ICFEM
1997
Springer
15 years 6 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
HICSS
2003
IEEE
148views Biometrics» more  HICSS 2003»
15 years 7 months ago
Strategies for the Successful Implementation of Workflow Systems within Healthcare: A Cross Case Comparison
The implementation of computerized workflow systems to support the collection and dissemination of patient information has been an area of focus in healthcare for many years. This...
Meg Murray
PDPTA
2003
15 years 3 months ago
Incorporating an XML Matching Engine in Distributed Brokering Systems
As systems such as peer-to-peer, Web Services, and Grid systems proliferate the Internet there have also been a significant increase in the number of devices that are networked to...
Shrideep Pallickara, Geoffrey Fox, Marlon E. Pierc...
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
15 years 15 days ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer
ISORC
2000
IEEE
15 years 6 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm