Sciweavers

8446 search results - page 1362 / 1690
» A Process Compensation Language
Sort
View
CONCUR
2009
Springer
15 years 2 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
ICAI
2009
15 years 2 months ago
How Reasoning Achieves Context Integration into Syntax Parsing
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
Patrick McCrae
158
Voted
CCGRID
2010
IEEE
15 years 2 months ago
File-Access Characteristics of Data-Intensive Workflow Applications
This paper studies five real-world data intensive workflow applications in the fields of natural language processing, astronomy image analysis, and web data analysis. Data intensiv...
Takeshi Shibata, SungJun Choi, Kenjiro Taura
CORR
2010
Springer
121views Education» more  CORR 2010»
15 years 2 months ago
A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative ...
Alan Dearle, Graham N. C. Kirby, Andrew McCarthy
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 2 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
« Prev « First page 1362 / 1690 Last » Next »