Sciweavers

1324 search results - page 90 / 265
» Process Coordination with Fetch-and-Increment
Sort
View
IAT
2008
IEEE
16 years 24 days ago
An Agent Modeling Language Implementing Protocols through Capabilities
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
Nikolaos I. Spanoudakis, Pavlos Moraitis
COORDINATION
2007
Springer
16 years 15 days ago
A Theory for Strong Service Compliance
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
Mario Bravetti, Gianluigi Zavattaro
COORDINATION
2007
Springer
16 years 15 days ago
A Calculus for Mobile Ad Hoc Networks
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
Jens Chr. Godskesen
3DPVT
2006
IEEE
194views Visualization» more  3DPVT 2006»
16 years 12 days ago
Expression Compensation for Face Recognition Using a Polar Geodesic Representation
This paper addresses the problem of face recognition in the presence of deformation due to expressions. Facial motion is considered as an isometric mapping between surfaces, which...
Iordanis Mpiperis, Sotiris Malassiotis, Michael G....
ESCIENCE
2005
IEEE
15 years 12 months ago
The Supplier Model for Legacy Applications in a Grid
The use of web services as the basis for grid middleware has allowed scientists to wrap legacy applications as services in order to provide their capabilities to grid users. Howev...
Jonathan Giddy, Ian J. Grimstead, Jason Jones