5547 search results - page 346 / 1110 » Software Variability Management |
158
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents several engineering applications that involve distributed software services. Due to the complexity of these applications, an efficient and flexible se...
184
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
169
click to vote
DAC
1999
ACM
15 years 11 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...
200
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
165
click to vote
CASCON
1993
15 years 8 months ago
1993
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...