7209 search results - page 944 / 1442 » Software Engineering for Multi-Agent Systems |
115
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
127
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
163
click to vote
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
169
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...
148
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...