130 search results - page 21 / 26 » Multi-Agent Systems as Composition of Observable Systems |
NIME
2005
Springer
14 years 5 days ago
2005
Springer
The iltur system features a novel method of interaction between expert and novice musicians through a set of musical controllers called Beatbugs. Beatbug players can record live m...
HICSS
2003
IEEE
13 years 12 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
TEI
2009
ACM
13 years 11 months ago
2009
ACM
Pendaphonics is a tangible physical-digital-sonic environment and interactive system that engages users in individual, collaborative, group, and distributed interactive experience...
FUIN
2006
13 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
RE
2005
Springer
14 years 5 days ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...