854 search results - page 120 / 171 » Addressing Dynamic Issues of Program Model Checking |
102
click to vote
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
POLICY
2005
Springer
15 years 7 months ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...
117
Voted
CONEXT
2007
ACM
15 years 6 months ago
2007
ACM
Very recent activities in the IETF and in the Routing Research Group (RRG) of the IRTG focus on defining a new Internet architecture, in order to solve scalability issues related ...
152
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
126
Voted
HICSS
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract. We reexamine the limits of parallelism available in programs, using runtime reconstruction of program data-flow graphs. While limits of parallelism have been examined in...