300 search results - page 31 / 60 » Basel II - Achievements and Challenges |
84
Voted
AOSE
2001
Springer
15 years 2 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
CSE
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper contributes to the evolving body of knowledge pertaining to the study of digitally-enabled social networks, their usage, and their effects on people, organization, and s...
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
66
Voted
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Boosted by the Middlebury challenge, the precision of dense multi-view stereovision methods has increased drastically in the past few years. Yet, most methods, although they perfo...
112
Voted
HVC
2007
Springer
15 years 2 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...