2813 search results - page 234 / 563 » Formalizing Architectural Connection |
197
click to vote
FASE
2005
Springer
16 years 3 days ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
162
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
248
click to vote
FAABS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
161
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
163
click to vote
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...