1301 search results - page 91 / 261 » Specifications via Realizability |
112
Voted
PODS
2006
ACM
16 years 3 months ago
2006
ACM
We initiate a novel study of clustering problems. Rather than specifying an explicit objective function to optimize, our framework allows the user of clustering algorithm to speci...
109
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
104
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe an experiment where listeners were asked to detect two specific forms of stress in talkers’ recorded voices heard via six different simulated communication systems. ...
162
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...
121
Voted
AUTONOMICS
2007
ACM
15 years 7 months ago
2007
ACM
The investigation and the development of self-organizing systems are especially needed for operation and control in massively distributed systems such as Sensor and Actor Networks...