1324 search results - page 65 / 265 » Process Coordination with Fetch-and-Increment |
182
click to vote
ENTCS
2008
15 years 6 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
124
click to vote
PDCN
2007
15 years 7 months ago
2007
In a distributed system, process synchronization is an important agenda. One of the major duties for process synchronization is mutual exclusion. This paper presents a new central...
148
click to vote
CAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Computer-supported collaborative knowledge creation is the continuous process of development of knowledge assets, where produced knowledge has to be assessed by the devel...
168
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
139
click to vote
3DIM
2005
IEEE
15 years 12 months ago
2005
IEEE
A mechanism is introduced that automatically integrates multi-view range images without registering the images. The mechanism is based on a reference double-frame that acts as the...