1704 search results - page 136 / 341 » Design of a Concurrent and Distributed Language |
139
click to vote
METRICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
118
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
141
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
144
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
102
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...