Sciweavers

4048 search results - page 337 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
ACSC
2005
IEEE
15 years 10 months 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
15 years 10 months 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
15 years 10 months 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
148
Voted
GI
2004
Springer
15 years 10 months 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....
145
Voted
SCCC
1997
IEEE
15 years 9 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 ...