2266 search results - page 195 / 454 » A generic component model for building systems software |
174
click to vote
CSMR
2007
IEEE
16 years 26 days ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
151
click to vote
IAT
2006
IEEE
16 years 17 days ago
2006
IEEE
Delayed arrivals, missing tag codes, flight changes, break-downs, etc. are some of the factors, which make the environment of airport baggage handling systems (BHS) extremely dyn...
186
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe XVIP, an XML-based video information processing system, which extracts information from video and stores the information in a multimedia digital video library. XVIP en...
181
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
158
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...