32117 search results - page 5988 / 6424 » Design for Unanticipated Use.. |
173
click to vote
TLDI
2005
ACM
16 years 10 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
191
Voted
VEE
2005
ACM
16 years 10 days ago
2005
ACM
Virtual machines (VMs) are commonly used to distribute programs in an architecture-neutral format, which can easily be interpreted or compiled. A long-running question in the desi...
196
click to vote
WOSP
2005
ACM
16 years 10 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
200
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
There has been much research investigating team cognition, naturalistic decision making, and collaborative technology as it relates to real world, complex domains of practice. How...
192
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...