2810 search results - page 441 / 562 » Contract-Based Component System Design |
128
click to vote
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
169
click to vote
SOFTVIS
2010
ACM
15 years 24 days ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
150
click to vote
CIKM
2011
Springer
14 years 2 months ago
2011
Springer
A continuous top-k query retrieves the k most preferred objects in a data stream according to a given preference function. These queries are important for a broad spectrum of appl...
165
click to vote
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
135
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Separation of concerns is one of the overarching goals of exception handling in order to keep separate normal and exceptional behaviour of a software system. In the context of a s...