1700 search results - page 62 / 340 » Specifying and implementing refactorings |
132
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
111
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
130
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
119
click to vote
CEC
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract- This paper describes implementation details and results from a simulated multi-agent bacteria ecosystem. Each bacterium is encoded on a DNA-like genome, specifying the ge...
119
click to vote
IWQOS
2001
Springer
15 years 8 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...