11214 search results - page 475 / 2243 » Programming Multi-agent Systems |
199
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
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 29 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
Voted
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...
204
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 ...