2810 search results - page 314 / 562 » Contract-Based Component System Design |
103
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Multichannel publication of multimedia presentations poses a significant challenge on the generic description of the presentation content and the system necessary to convert these...
110
click to vote
ETFA
2005
IEEE
15 years 8 months ago
2005
IEEE
Industrial control systems architectures have been evolving to the decentralization of control tasks. This evolution associated with the time-critical nature of these tasks, incre...
166
click to vote
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Developers and users of high-performance distributed systems often observe performance problems such as unexpectedly low throughput or high latency. Determining the source of the ...
119
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
95
Voted
WSC
2000
15 years 4 months ago
2000
This paper presents an automated system for optimizing earthmoving operations. The proposed system can assist earthmoving contractors, during bid preparation stage, in estimating ...