1415 search results - page 98 / 283 » Verified systems by composition from verified components |
173
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
146
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
202
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we suggest a QA pilot task, dubbed QolA, whose joint rationale is allow for collaboration among systems, increase multilinguality and multicollection use, and investi...
159
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
In some domains, including those requiring natural language understanding, we cannot build a system that can complete the entire task. One way to deal with such cases is to encode ...
191
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...