5707 search results - page 299 / 1142 » Symbolic Simulation - Techniques and Applications |
183
click to vote
IWDC
2001
Springer
15 years 11 months ago
2001
Springer
Mobile Internet access is becoming extremely popular because users depend on the Internet for many activities in their daily routine. Satellites are well suited for mobile Interne...
170
click to vote
ICISC
2008
15 years 8 months ago
2008
Secure Evaluation of Private Functions (PF-SFE) allows two parties to compute a private function which is known by one party only on private data of both. It is known that PF-SFE c...
174
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
184
click to vote
WOSP
2004
ACM
16 years 5 days ago
2004
ACM
Peer-to-peer, or simply P2P, systems have recently emerged as a popular paradigm for building distributed applications. One key aspect of the P2P system design is the mechanism us...
207
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper we investigate protocols for scheduling applications that consist of large numbers of identical, independent tasks on large-scale computing platforms. By imposing a ...