4716 search results - page 445 / 944 » Iterative-free program analysis |
189
click to vote
JPDC
2006
15 years 6 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
199
click to vote
IDEAL
2010
Springer
15 years 4 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
221
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
177
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
165
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...