Sciweavers

1681 search results - page 191 / 337
» A Framework for Analysis of Data Freshness
Sort
View
ICPP
1998
IEEE
15 years 10 months ago
Concurrent SSA Form in the Presence of Mutual Exclusion
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer
ICWS
2007
IEEE
15 years 8 months ago
Towards automatic mediation of OWL-S process models
The framework for automatic mediation of two process models composed of semantically annotated web services is presented. Process mediation is hard because of many possible mismat...
Roman Vaculín, Katia P. Sycara
ATAL
2010
Springer
15 years 7 months ago
Using geometric diffusions for recognition-primed multi-agent decision making
Several areas of multi-agent research, such as large-scale agent organization and experience-based decision making, demand novel perspectives and efficient approaches for multisca...
Xiaocong Fan, Meng Su
IPMI
2005
Springer
16 years 7 months ago
Spherical Navigator Registration Using Harmonic Analysis for Prospective Motion Correction
Spherical navigators are an attractive approach to motion compensation in Magnetic Resonance Imaging. Because they can be acquired quickly, spherical navigators have the potential ...
Christopher L. Wyatt, Narter Ari, Robert A. Kraft
WWW
2004
ACM
16 years 7 months ago
Analysis of interacting BPEL web services
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
Xiang Fu, Tevfik Bultan, Jianwen Su