Sciweavers

2774 search results - page 372 / 555
» Query-Driven Program Testing
Sort
View
ICCS
2007
Springer
14 years 3 months ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
IFIP
2007
Springer
14 years 3 months ago
Identity as a Service - Towards a Service-Oriented Identity Management Architecture
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...
Christian Emig, Frank Brandt, Sebastian Kreuzer, S...
TSD
2007
Springer
14 years 3 months ago
ECAF: Authoring Language for Embodied Conversational Agents
Abstract. Embodied Conversational Agent (ECA) is the user interface metaphor that allows to naturally communicate information during human-computer interaction in synergic modality...
Ladislav Kunc, Jan Kleindienst
ACSC
2006
IEEE
14 years 3 months ago
Identifying refactoring opportunities by identifying dependency cycles
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
Hayden Melton, Ewan D. Tempero
AUIC
2006
IEEE
14 years 3 months ago
A case for iconic icons
User interface designers still have to rely on personal creativity and skill when designing computer icons for program functions that have no existing conventional representation....
Jennifer Ferreira, James Noble, Robert Biddle