10159 search results - page 375 / 2032 » System Design Validation Using Formal Models |
156
click to vote
SIAMAM
2011
14 years 11 months ago
2011
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
149
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
112
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...
137
click to vote
AMW
2010
15 years 5 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
123
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...