3676 search results - page 153 / 736 » Scalable component abstractions |
97
Voted
CASCON
2001
14 years 11 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
140
click to vote
IJNSEC
2006
14 years 10 months ago
2006
Secure multicast represents the core component of many web and multimedia applications such as pay-TV, teleconferencing, real-time distribution of stock market price and etc. The ...
CODES
1996
IEEE
15 years 2 months ago
1996
IEEE
Abstract
CSUR
2000
14 years 10 months ago
2000
t abstractions of a particular domain. Any system built from components
78
Voted
PERCOM
2010
ACM
14 years 8 months ago
2010
ACM
Abstract—This paper looks at the scalability problems inherent in the Active Bat system: an outside-in ultrasonic location system. Such systems are typically associated with high...