237 search results - page 26 / 48 » Modeling Mental States in Agent-Oriented Requirements Engine... |
112
click to vote
CSCW
2011
ACM
14 years 4 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
102
click to vote
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...