2501 search results - page 445 / 501 » Obligations and Their Interaction with Programs |
SPAA
2010
ACM
14 years 14 days ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
AGENTS
2001
Springer
14 years 5 days ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
CHARME
2001
Springer
14 years 5 days ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
SIGSOFT
2000
ACM
14 years 22 hour ago
2000
ACM
Software systems should consist of simple, conceptually clean software components interacting along narrow, well-defined paths. All too often, this is not reality: complex compon...
VRML
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents our work and research findings on developing the concept of a multi-user shared environment for culture, performance, art and entertainment. It introduces arti...