942 search results - page 23 / 189 » Application of Model Driven Techniques for Agent-Based Simul... |
EUC
2008
Springer
15 years 16 days ago
2008
Springer
The existing software engineering seldom considers software usability, and Human-Computer Interaction (HCI) techniques which can improve the software usability cannot guarantee de...
SPIN
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
SAC
2008
ACM
14 years 10 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...