2493 search results - page 54 / 499 » Tool Support for Design by Contract |
SOQUA
2007
14 years 11 months ago
2007
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
CCE
2004
14 years 9 months ago
2004
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
ECTEL
2007
Springer
15 years 3 months ago
2007
Springer
IMS Learning Design (LD) is a specification that aims at computationally representing any learning process. However, the possibilities of LD to represent collaborative learning sce...
ICEIS
2007
IEEE
15 years 1 months ago
2007
IEEE
Case handling systems offer a solution to the lack of flexibility and adaptability in workflow management systems. Because they are data driven they potentially provide good suppor...