5683 search results - page 759 / 1137 » Interactive Schedulability Analysis |
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
184
click to vote
EXPERT
2007
15 years 6 months ago
2007
Agent-based social simulation (with multi-agent systems), which is an important aspect of social computing, can benefit from incorporating cognitive architectures, as they provid...
139
click to vote
CACM
2004
15 years 6 months ago
2004
ent through the use of meaningful abstractions in order to avoid dealing with low-level details. Despite this potential benefit, their adoption has mainly been limited to professio...
209
click to vote
JUCS
2000
15 years 6 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
155
click to vote
KBS
2000
15 years 6 months ago
2000
: In this paper we present an interaction-oriented approach to the process of designing a document for the end-user. We emphasize exchange between subjects and the subjects' r...