1134 search results - page 92 / 227 » Composing Tests from Examples |
140
click to vote
PERCOM
2011
ACM
14 years 6 months ago
2011
ACM
—This paper examines the possible uses of different market mechanisms for resource allocation at different levels of Wireless Sensor Network (WSN) architecture. The goal is to ma...
142
click to vote
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
110
click to vote
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
The standard model of supervised learning assumes that training and test data are drawn from the same underlying distribution. This paper explores an application in which a second...
223
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
129
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...