826 search results - page 121 / 166 » An Architecture for Multi-Agent COTS Software Integration Sy... |
147
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
138
Voted
HPDC
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...
158
click to vote
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
156
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
149
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...