13140 search results - page 2484 / 2628 » Coupling Component Systems towards Systems of Systems |
180
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
173
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
169
click to vote
CLEF
2007
Springer
16 years 20 days ago
2007
Springer
This article describes the participation of the University and Hospitals of Geneva at three tasks of the 2007 ImageCLEF image retrieval benchmark. The visual retrieval techniques r...
202
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...
181
click to vote
PPAM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...