368 search results - page 46 / 74 » The Role of Verification in Interactive Systems Design |
153
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
147
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
258
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
152
click to vote
NIME
2005
Springer
15 years 10 months ago
2005
Springer
The central role of the face in social interaction and non-verbal communication suggest we explore facial action as a means of musical expression. This paper presents the design, ...
111
click to vote
VIZSEC
2005
Springer
15 years 10 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...