We examine the robustness of critical infrastructure networks in the face of terrorist attack, using a simulation experiment that incorporates link capacity; and an extension of d...
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
: QoS issues will play an important role for the success of Web services. With the increasing number of mobile devices consuming Web services, specific QoS mechanisms are required ...
Min Tian, Andreas Gramm, Hartmut Ritter, Jochen H....
Video servers are important for applicationswhich make use of digital video. The video servers should provide better functionality than most of today’s video servers offer, – ...