942 search results - page 23 / 189 » Application of Model Driven Techniques for Agent-Based Simul... |
145
click to vote
EUC
2008
Springer
15 years 5 months 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...
150
click to vote
SPIN
2004
Springer
15 years 9 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...
135
Voted
ICWE
2007
Springer
15 years 10 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 ...
139
click to vote
SAC
2008
ACM
15 years 3 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...
136
click to vote
DAC
2002
ACM
16 years 4 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 ...