1268 search results - page 252 / 254 » Verifying distributed systems: the operational approach |
SIGSOFT
2003
ACM
14 years 7 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
IPSN
2010
Springer
14 years 1 months ago
2010
Springer
We present Virtual High-resolution Time (VHT), a powerproportional time-keeping service that offers a baseline power draw of a low-speed clock (e.g. 32 kHz crystal), but provides...
DFG
2009
Springer
14 years 25 days ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...
SRDS
2008
IEEE
14 years 19 days ago
2008
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall dire...
INFOCOM
2006
IEEE
14 years 9 days ago
2006
IEEE
— The performance of wireless data systems has been thoroughly studied in the context of a single base station. In the present paper we analyze networks with several interacting ...