4385 search results - page 839 / 877 » Abstraction for Concurrent Objects |
MSWIM
2006
ACM
15 years 4 months ago
2006
ACM
Wireless sensor networks (WSNs) have recently attracted a lot of interest due to the range of applications they enable. Unfortunately, WSNs are exposed to numerous security threat...
109
click to vote
ICRA
2005
IEEE
15 years 4 months ago
2005
IEEE
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
IMC
2005
ACM
15 years 4 months ago
2005
ACM
Abstract— The well-known PASTA (“Poisson Arrivals See Time Averages”) property states that, under very general conditions, the fraction of Poisson arrivals that observe an un...
SACMAT
2005
ACM
15 years 4 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
CHARME
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...