9626 search results - page 1280 / 1926 » Invariant Based Programming |
187
click to vote
GI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
221
Voted
ISMIR
2004
Springer
16 years 19 days ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
190
click to vote
MFCS
2004
Springer
16 years 19 days ago
2004
Springer
We study the problem of optimal preemptive scheduling with respect to a general target function. Given n jobs with associated weights and m ≤ n uniformly related machines, one a...
225
Voted
SDMW
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
256
Voted
SPIN
2004
Springer
16 years 19 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...