127 search results - page 1 / 26 » EFFICIENT: a tool set for supporting the modelling and valid... |
SIGSOFT
2003
ACM
13 years 10 months ago
2003
ACM
RTAS
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
HASE
2007
IEEE
13 years 8 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
CHI
2005
ACM
14 years 5 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
CAI
2006
Springer
13 years 5 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...