Sciweavers

6025 search results - page 1133 / 1205
» Flexibility in Service Processes
Sort
View
JFP
2010
142views more  JFP 2010»
14 years 11 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
KESAMSTA
2010
Springer
14 years 11 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
120
Voted
MM
2010
ACM
164views Multimedia» more  MM 2010»
14 years 11 months ago
Visual search applications for connecting published works to digital material
Visual search connects physical (offline) objects with (online) digital media. Using objects from the environment, like newspapers, magazines, books and posters, we can retrieve s...
Jamey Graham, Jorge Moraleda, Jonathan J. Hull, Ti...
PERCOM
2010
ACM
14 years 11 months ago
Towards ontology-driven development of applications for smart environments
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
Artem Katasonov, Marko Palviainen
181
Voted
VL
2010
IEEE
196views Visual Languages» more  VL 2010»
14 years 11 months ago
Smart Objects for Intelligent Applications - ADK
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
Jesus Fernandez Gomez-Pimpollo, Raul Otaolea
« Prev « First page 1133 / 1205 Last » Next »