15253 search results - page 113 / 3051 » Integer-Programming Software Systems |
193
click to vote
ICEIS
2009
IEEE
15 years 2 months ago
2009
IEEE
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...
136
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
163
click to vote
QOSA
2007
Springer
15 years 10 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
141
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
133
click to vote
SETP
2007
15 years 6 months ago
2007
—In this paper, we have evolved a generic software architecture for a domain specific distributed embedded system. The system under consideration belongs to the Command, Control ...