15860 search results - page 2683 / 3172 » Agent-Based Software Engineering |
137
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
177
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...
124
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
143
Voted
SC
2009
ACM
15 years 12 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
135
click to vote
FOSSACS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...