12697 search results - page 2407 / 2540 » Call for Papers |
SIGMETRICS
1995
ACM
14 years 23 days ago
1995
ACM
Synthesizing architectural requirements from an application viewpoint can help in making important architectural design decisions towards building large scale parallel machines. I...
SIGSOFT
1995
ACM
14 years 23 days ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
ICDT
2010
ACM
14 years 16 days ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
CSFW
2010
IEEE
14 years 16 days ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
CCS
2009
ACM
14 years 16 days ago
2009
ACM
Code injections attacks are one of the most powerful and important classes of attacks on software. In such attacks, the attacker sends malicious input to a software application, w...