Sciweavers

4286 search results - page 721 / 858
» Formalizing Service Interactions
Sort
View
ATAL
2008
Springer
15 years 4 months ago
Anchoring institutions in agents' attitudes: towards a logical framework for autonomous multi-agent systems
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
Benoit Gaudou, Dominique Longin, Emiliano Lorini, ...
179
Voted
CCGRID
2010
IEEE
15 years 4 months ago
Streamflow Programming Model for Data Streaming in Scientific Workflows
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
Chathura Herath, Beth Plale
157
Voted
ECSA
2010
Springer
15 years 4 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi
115
Voted
COGSCI
2010
134views more  COGSCI 2010»
15 years 3 months ago
A Model of Knower-Level Behavior in Number Concept Development
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
Michael D. Lee, Barbara W. Sarnecka
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 3 months ago
Function and form of gestures in a collaborative design meeting
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
Willemien Visser