2184 search results - page 282 / 437 » Modeling and Realizing Interoperability |
PROMS
2001
Springer
14 years 13 days ago
2001
Springer
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
SPIN
2001
Springer
14 years 13 days ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
MTDT
2000
IEEE
14 years 12 days ago
2000
IEEE
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
RTCSA
2000
IEEE
14 years 12 days ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
CAISE
2000
Springer
14 years 11 days ago
2000
Springer
For enterprise-wide and cross-enterprise workflow (WF) applications, the load of the WF servers and the amount of communication in the subnets may become a bottleneck. This paper s...