5344 search results - page 152 / 1069 » Privacy-Preserving Set Operations |
152
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper discusses a potential security issue in common operating system and application environments regarding dynamically attached devices and device interfaces. A set of coun...
105
click to vote
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Supporting for updating XML documents has recently attracted interest. This paper presents a novel declarative XML update language, which is an extension of the XML-RL qu...
131
click to vote
COLING
1996
15 years 4 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
APAL
2006
15 years 3 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
114
click to vote
IJON
1998
15 years 2 months ago
1998
We design new feed-forward multi-layered neural networks which perform di erent elementary arithmetic operations, such as bit shifting, addition of N p-bit numbers, and multiplica...