1768 search results - page 213 / 354 » A Logic for Algebraic Effects |
178
click to vote
FOAL
2007
ACM
15 years 11 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
158
click to vote
COMMA
2006
15 years 8 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
191
Voted
ERSA
2004
15 years 8 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
166
click to vote
FSKD
2008
Springer
15 years 8 months ago
2008
Springer
Preservation of privacy in micro-data release is a challenging task in data mining. The k-anonymity method has attracted much attention of researchers. Quasiidentifier is a key co...
170
click to vote
WICOMM
2008
15 years 7 months ago
2008
This paper explores the logical device aggregation of terminals in future generation networks, where the availability of several different radio access techniques is integrated by...