Sciweavers

4205 search results - page 740 / 841
» Typed Mobile Objects
Sort
View
IS
2008
13 years 7 months ago
DFL: A dataflow language based on Petri nets and nested relational calculus
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Je...
IJPRAI
2006
78views more  IJPRAI 2006»
13 years 7 months ago
The Unexpected Aspects of Surprise
Some symbolic AI models for example BDI (belief, desire, intention) models are conceived as explicit and operational models of the intentional pursuit and belief dynamics. The mai...
Emiliano Lorini, Cristiano Castelfranchi
IJRR
2006
75views more  IJRR 2006»
13 years 7 months ago
Force Analysis of Connected Differential Mechanisms: Application to Grasping
In this paper, a methodology is proposed for the analysis of the force capabilities of connected differential mechanisms. These systems are the key elements used to extend the prin...
Lionel Birglen, Clément M. Gosselin
CORR
2007
Springer
94views Education» more  CORR 2007»
13 years 7 months ago
Negotiation in collaborative assessment of design solutions: an empirical study on a Concurrent Engineering process
In Concurrent engineering, design solutions are not only produced by individuals specialized in a given field. Due to the team nature of the design activity, solutions are negotia...
Géraldine Martin, Françoise Dé...
JSAC
2008
95views more  JSAC 2008»
13 years 7 months ago
Game Theoretic Modeling of Malicious Users in Collaborative Networks
If a network is to operate successfully, its users need to collaborate. Collaboration takes the form of following a network protocol and involves some resource expenditure on the p...
George Theodorakopoulos, John S. Baras