2024 search results - page 184 / 405 » A Formal Model of Multi-agent Computations |
133
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
152
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
162
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
148
Voted
HCI
2009
15 years 2 months ago
2009
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
117
click to vote
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...