4350 search results - page 689 / 870 » Case studies for contract-based systems |
100
Voted
RTA
1993
Springer
15 years 8 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
139
click to vote
GROUP
2007
ACM
15 years 7 months ago
2007
ACM
As the use of social networking websites becomes increasingly common, the types of social relationships managed on these sites are becoming more numerous and diverse. This researc...
133
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
138
click to vote
VECPAR
2000
Springer
15 years 7 months ago
2000
Springer
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...
124
click to vote
EDBTW
2010
Springer
15 years 7 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...