1888 search results - page 211 / 378 » Proof theory and computational analysis |
207
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
204
click to vote
TEC
2008
15 years 7 months ago
2008
Fingerprinting is a technique for generating a representation-independent functional signature for a game playing agent. Fingerprints can be used to compare agents across represent...
196
click to vote
SIGECOM
2006
ACM
16 years 1 months ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
161
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Though interaction designers critique interfaces as a regular part of their research and practice, the field of HCI lacks a proper discipline of interaction criticism. By interact...
224
click to vote
ICNS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, the problem of discovering anomalies in a large-scale network based on the data fusion of heterogeneous monitors is considered. We present a classification of anoma...