854 search results - page 120 / 171 » Addressing Dynamic Issues of Program Model Checking |
124
Voted
ICSE
2005
IEEE-ACM
16 years 4 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...
111
click to vote
POLICY
2005
Springer
15 years 10 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 ...
139
click to vote
CONEXT
2007
ACM
15 years 8 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 ...
177
click to vote
IPPS
2007
IEEE
15 years 11 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...
148
Voted
HICSS
1995
IEEE
15 years 8 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...