1398 search results - page 55 / 280 » Ensuring Properties of Interaction Systems |
114
Voted
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—The current system design of mobile ad hoc networks (MANET), derived from their traditional fixed counterparts, cannot fully meet the requirements inherent to the dynam...
149
click to vote
ISMIR
2005
Springer
2005
Springer
Ringomatic: A Real-Time Interactive Drummer Using Constraint-Satisfaction and Drum Sound Descriptors
15 years 9 months ago
We describe a real-time musical agent that generates an audio drum-track by concatenating audio segments automatically extracted from pre-existing musical files. The drum-track c...
165
click to vote
FOCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
136
click to vote
JIIS
1998
15 years 3 months ago
1998
The explosive growth in the availability of information is overwhelming traditional information management systems. Although individual pieces of information have become easy to ...
116
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...