Sciweavers

1676 search results - page 52 / 336
» Coordination for Distributed Business Systems
Sort
View
SCAM
2008
IEEE
15 years 4 months ago
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
Nuno F. Rodrigues, Luís Soares Barbosa
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
14 years 11 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
ISBI
2009
IEEE
15 years 4 months ago
A Data-Driven Approach to Discovering Common Brain Anatomy
An atlas defines a common coordinate system to enable the comparison of data from different subjects. Key in the development of a brain atlas are the identification of a common ...
Neil I. Weisenfeld, Simon K. Warfield
IMC
2003
ACM
15 years 3 months ago
Virtual landmarks for the internet
Internet coordinate schemes have been proposed as a method for estimating minimum round trip time between hosts without direct measurement. In such a scheme, each host is assigned...
Liying Tang, Mark Crovella
WDAG
2001
Springer
78views Algorithms» more  WDAG 2001»
15 years 2 months ago
Self Stabilizing Distributed Queuing
Distributed queuing is a fundamental coordination problem, arising in a variety of applications, including distributed shared memory, distributed directories, and totally ordered ...
Maurice Herlihy, Srikanta Tirthapura