11022 search results - page 429 / 2205 » Programming Systems for Autonomy |
189
click to vote
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
178
click to vote
ECOOP
2004
Springer
16 years 28 days ago
2004
Springer
It is becoming increasingly clear that we are entering a new era in systems software. As the age-old tension between structure and performance acquiesces, we can finally venture b...
176
click to vote
ICALP
2000
Springer
15 years 11 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
199
click to vote
ATAL
2004
Springer
16 years 29 days ago
2004
Springer
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...
203
click to vote
LPNMR
2005
Springer
16 years 1 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...