2302 search results - page 324 / 461 » Testing as Abstraction |
158
click to vote
BPM
2004
Springer
15 years 12 months ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
187
click to vote
CICLING
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
212
click to vote
CMMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present algorithms for the automatic timesynchronization of score-, MIDI- or PCM-data streams which represent the same polyphonic piano piece. In contras...
172
click to vote
CSCLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...
168
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...