7209 search results - page 1042 / 1442 » Software Engineering for Multi-Agent Systems |
120
Voted
EDBTW
2010
Springer
15 years 6 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
141
Voted
AVI
2008
15 years 5 months ago
2008
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...
116
Voted
AVI
2008
15 years 5 months ago
2008
Previous studies have demonstrated the importance of providing users with a coherent environment across distant sites. To date, it remains unclear how such an environment affects ...
149
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
142
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...