4211 search results - page 687 / 843 » Types as Abstract Interpretations |
115
click to vote
OTM
2007
Springer
15 years 10 months 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...
126
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: This paper proposes extensions to the Object-Role Modeling approach to support schema transformations that eliminate unneeded columns that may arise from standard relatio...
108
click to vote
PAM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most tools to recognize the application associated with network connections use well-known signatures as basis for their classification. This approach is very effective ...
140
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
As pervasive environments become more commonplace, the privacy of users is placed at increased risk. The numerous and diverse sensors in these environments can record users’ cont...
136
click to vote
PET
2007
Springer
15 years 10 months ago
2007
Springer
The protection of privacy has gained considerable attention recently. In response to this, new privacy protection systems are being introduced. SITDRM is one such system that prote...