1146 search results - page 30 / 230 » Evaluation of modeling techniques for agent-based systems |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
108
click to vote
NFM
2011
14 years 4 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
86
Voted
DSVIS
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
PERVASIVE
2005
Springer
15 years 3 months ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
CHI
1993
ACM
15 years 1 months ago
1993
ACM
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...