2810 search results - page 440 / 562 » Contract-Based Component System Design |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
109
click to vote
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper considers the problem of scalable distributed coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
VEE
2005
ACM
15 years 4 months ago
2005
ACM
The Progressive Deployment System (PDS) is a virtual execution environment and infrastructure designed specifically for deploying software, or “assets”, on demand while enabli...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
106
click to vote
DEBU
2008
14 years 11 months ago
2008
In this paper, we describe the TIMBER XML database system implemented at University of Michigan. TIMBER was one of the first native XML database systems, designed from the ground ...