1689 search results - page 226 / 338 » Empirical Methodologies in Software Engineering |
106
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
It is a hard problem to understand the search process of particle swarm optimization over high-dimensional domain. The visualization depicts the total search process and then it w...
112
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
100
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
112
click to vote
IAT
2006
IEEE
15 years 7 months ago
2006
IEEE
A key property of agents is that they are social, and hence the design of agent interactions is a crucial part of an agentoriented software engineering methodology. Agent interact...
103
click to vote
UIST
2004
ACM
15 years 7 months ago
2004
ACM
Despite novel interaction techniques proposed for virtual desktops, common yet challenging tasks remain to be investigated. Dragging and dropping between overlapping windows is on...