4350 search results - page 214 / 870 » Case studies for contract-based systems |
125
click to vote
FMSD
2007
15 years 4 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
146
click to vote
PODC
1999
ACM
15 years 9 months ago
1999
ACM
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
167
click to vote
PE
2008
Springer
15 years 4 months ago
2008
Springer
TCP-based data flows generate packets and ACKs in two directions, be it in the wireline or wireless networks. In the latter case, packets are typically found in the downlink where...
143
Voted
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
Effort to evolve and maintain a software system is likely to vary depending on the amount and frequency of change requests. This paper proposes to model change requests as time se...
120
click to vote
CRV
2007
IEEE
15 years 11 months ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...