1779 search results - page 255 / 356 » A Formal Model of Data Privacy |
121
click to vote
DPD
2002
15 years 3 months ago
2002
Abstract. We introduce a new mobile transaction model applicable to decisionmaking applications over aggregate data warehoused on mobile hosts. The model allows the aggregate data ...
124
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
133
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
116
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
140
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Intrusion detection is a critical component of secure information systems. Network anomaly detection has been an active and difficult research topic in the field of Intrusion Dete...