1541 search results - page 161 / 309 » Tools and Techniques for Model Checking Networked Programs |
142
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
140
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
141
click to vote
DIMVA
2011
14 years 8 months ago
2011
Abstract. High-interaction honeyclients are the tools of choice to detect malicious web pages that launch drive-by-download attacks. Unfortunately, the approach used by these tools...
153
Voted
TOMACS
2002
15 years 4 months ago
2002
The utility of simulations and analysis heavily relies on good models of network traffic. While network traffic constantly changing over time, existing approaches typically take y...
145
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...