83 search results - page 2 / 17 » Software for systematic and imaginative exploration |
164
Voted
ISSRE
2006
IEEE
15 years 12 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
140
click to vote
PREMI
2005
Springer
15 years 11 months ago
2005
Springer
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...
155
Voted
SP
2007
IEEE
16 years 4 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
152
Voted
IJWIS
2006
15 years 5 months ago
2006
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...
157
click to vote
FASE
2010
Springer
16 years 21 days ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...