1525 search results - page 257 / 305 » Formal Models for Communication-Based Design |
72
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Various sectors in developing countries are typically dominated by the presence of a large number of small and microbusinesses that operate in an informal, unorganized manner. Man...
103
Voted
ICFP
2007
ACM
16 years 17 days ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
96
Voted
MOBIHOC
2008
ACM
16 years 6 days ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
116
click to vote
MOBIHOC
2007
ACM
16 years 6 days ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
87
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...