3778 search results - page 614 / 756 » Representing Web Graphs |
171
click to vote
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
152
click to vote
OTM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
160
click to vote
POLICY
2007
Springer
16 years 14 days ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
162
click to vote
SAFECOMP
2007
Springer
16 years 14 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
180
click to vote
VIZSEC
2007
Springer
16 years 14 days ago
2007
Springer
ct Network security is the complicated field of controlling access within a computer network. One of the difficulties in network security is detecting the presence, severity, and ...