3394 search results - page 347 / 679 » Regular Object Types |
173
click to vote
MSR
2005
ACM
16 years 7 days ago
2005
ACM
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
167
click to vote
SAS
2004
Springer
16 years 17 hour ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
164
click to vote
SIGADA
2004
Springer
16 years 16 hour ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
183
click to vote
MASA
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
202
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...