6693 search results - page 845 / 1339 » Methods of Automatic Algorithm Generation |
178
Voted
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
128
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
129
click to vote
VL
2007
IEEE
15 years 11 months ago
2007
IEEE
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
126
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
149
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...