7530 search results - page 454 / 1506 » Design and Implementation of the YAWL System |
190
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
183
click to vote
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Replication is an area of interest to both distributed systems and databases. The solutions developed from these two perspectives are conceptually similar but differ in many aspec...
178
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
172
click to vote
IV
1999
IEEE
15 years 11 months ago
1999
IEEE
Java3D is an application-centred approach to building 3D worlds. We use Java3D and VRML to design a prototype WWW-based 3D Hotel Browsing system. A Java3D scene graph viewer was i...
197
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...