8083 search results - page 1342 / 1617 » A Formalization of Software Architecture |
182
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
151
click to vote
ERSA
2006
15 years 8 months ago
2006
Reconfigurable supercomputing (RSC) combines programmable logic chips with high performance microprocessors, all communicating over a high bandwidth, low latency interconnection n...
175
click to vote
ECIS
2003
15 years 8 months ago
2003
In this paper we examine, how the benefits of Supply Chain Management, as announced by the literature and widely accepted, can simulatively be proven. We first present selected re...
175
Voted
IC
2003
15 years 8 months ago
2003
—Civil Engineering is a discipline providing one of the most challenging environments for integration and interoperability. Great hopes are wired and wireless networking technolo...
153
click to vote
TNC
2004
15 years 8 months ago
2004
There are activities aiming at abling users to dock to a wireless or wired network while visiting organisations outside the premises of their usual connection to the network. Thes...