Sciweavers

11561 search results - page 419 / 2313
» Open Distributed Processing
Sort
View
EDOC
2006
IEEE
16 years 1 months ago
Compliance checking between business processes and business contracts
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
Guido Governatori, Zoran Milosevic, Shazia Wasim S...
FSTTCS
2005
Springer
16 years 26 days ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
EUROPAR
2003
Springer
16 years 16 days ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...
GCC
2003
Springer
16 years 16 days ago
CoAuto: A Formal Model for Cooperative Processes
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
Jinlei Jiang, Meilin Shi
COMPSAC
2002
IEEE
16 years 9 days ago
A Unified Process Support Framework for Global Software Development
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
Jin Sa, Elena Maslova