2517 search results - page 414 / 504 » Specifying Weak Sets |
147
click to vote
FIW
2009
15 years 4 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
203
click to vote
ICMLA
2009
15 years 4 months ago
2009
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
190
click to vote
ICOODB
2009
15 years 4 months ago
2009
This paper presents algorithms that make it possible to process XML data that conforms to XML Schema (XSD) in a mainstream object-oriented programming language. These algorithms a...
202
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
152
click to vote
IEAAIE
2009
Springer
15 years 4 months ago
2009
Springer
In conflict-free routing a set of agents have to traverse a common infrastructure without interfering with each other. Maza and Castagna [1] showed how route plans can be repaired ...