2019 search results - page 177 / 404 » Programming with Shared Data Abstractions |
136
click to vote
IWSOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...
126
click to vote
ICDCS
1999
IEEE
15 years 7 months ago
1999
IEEE
group multicasts provide a nice abstraction for communicating data reliably among group members and have been used for a variety of applications. In this paper we present Corona, ...
129
click to vote
OOPSLA
1989
Springer
15 years 7 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
130
click to vote
DBSEC
2008
15 years 4 months ago
2008
Abstract. We propose a new privacy model for XML data called Privacy for All (P4A) to capture collectors privacy practice and data providers privacy preferences. Through P4A data c...
149
click to vote
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...