Sciweavers

4048 search results - page 337 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
ACSC
2005
IEEE
16 years 15 days ago
Simulating Network Robustness for Critical Infrastructure Networks
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...
Anthony H. Dekker
SPIN
2005
Springer
16 years 11 days ago
Model Checking Machine Code with the GNU Debugger
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...
Eric Mercer, Michael Jones
GI
2004
Springer
16 years 8 days ago
Model-based Middleware for Embedded Systems
: 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...
Chris Salzmann, Martin Thiede, Markus Völter
GI
2004
Springer
16 years 8 days ago
QoS-aware cross-layer communication for Mobile Web services with the WS-QoS framework
: 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....
SCCC
1997
IEEE
15 years 11 months ago
Video Server on an ATM Connected Cluster of Workstations
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, – ...
Olav Sandstå, Stein Langørgen, Roger ...