Sciweavers

5851 search results - page 163 / 1171
» Coordination as a Direct Process
Sort
View
PAM
2004
Springer
15 years 11 months ago
Geometric Exploration of the Landmark Selection Problem
Abstract. Internet coordinate systems appear promising as a method for estimating network distance without direct measurement, allowing scalable configuration of emerging applicat...
Liying Tang, Mark Crovella
PDCN
2007
15 years 7 months ago
A new robust centralized DMX algorithm
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...
Moharram Challenger, Vahid Khalilpour, Peyman Baya...
CAI
2004
Springer
15 years 6 months ago
On the Use of the Choquet Integral for the Collaborative Creation of Learning Objects
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...
Juan Manuel Dodero, Miguel-Ángel Sicilia, C...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
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...
Natallia Kokash, Farhad Arbab
3DIM
2005
IEEE
16 years 1 days ago
A Mechanism for Range Image Integration without Image Registration
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...
Lyubomir Zagorchev, Ardeshir Goshtasby