1297 search results - page 201 / 260 » Semantic Correctness in Adaptive Process Management Systems |
SPIN
2005
Springer
15 years 4 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
110
click to vote
ICS
2009
Tsinghua U.
14 years 8 months ago
2009
Tsinghua U.
Data de-duplication has become a commodity component in dataintensive systems and it is required that these systems provide high reliability comparable to others. Unfortunately, b...
79
Voted
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
Striking a balance between rigidity and flexibility is a central challenge in designing business processes. Striking this balance begins on the type level, because expressiveness ...
ICPADS
1998
IEEE
15 years 3 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...
117
click to vote
PODC
2006
ACM
15 years 5 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...