278 search results - page 22 / 56 » A Framework for Counterexample Generation and Exploration |
85
Voted
GRID
2004
Springer
15 years 5 months ago
2004
Springer
We present DiPerF, a distributed performance-testing framework, aimed at simplifying and automating service performance evaluation. DiPerF coordinates a pool of machines that test...
148
Voted
CRIWG
2004
15 years 1 months ago
2004
Abstract. Creativity has become an important factor in recent years, as companies need to be able to quickly adapt to take advantage of new opportunities and handle fast paced chan...
117
Voted
ICDE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— With XML becoming a standard for data representation and exchange, we can expect to see large scale repositories and warehouses of XML data. In order for users to under...
85
Voted
IVA
2007
Springer
15 years 6 months ago
2007
Springer
The goal of this paper is to open discussion about industrial creativity as a potential application field for Embodied Conversational Agents. We introduce the domain of creativity ...
110
Voted
DAC
1999
ACM
15 years 4 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...