5439 search results - page 895 / 1088 » Patterns: from system design to software testing |
129
click to vote
SG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user defines a desire...
140
click to vote
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
106
click to vote
ECIS
2003
15 years 5 months ago
2003
Traditionally, negotiation support was based on normative and prescriptive research; its users were analysts and experts. The purpose of the recently developed e-negotiation syste...
201
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
137
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...