1031 search results - page 146 / 207 » codes 2004 |
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
We present a technique that masks failures in a cluster to provide high availability and fault-tolerance for long-running, parallelized dataflows. We can use these dataflows to im...
108
click to vote
HT
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
83
Voted
SELMAS
2004
Springer
15 years 3 months ago
2004
Springer
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
103
click to vote
ICIP
2004
IEEE
16 years 2 days ago
2004
IEEE
This paper describes an approach for locating annotations generated in one video and properly placing them in a second, modified version of the same video. We focus on modificatio...