2517 search results - page 143 / 504 » Specifying Weak Sets |
171
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
149
Voted
IM
1997
15 years 7 months ago
1997
Policies are a means of influencing management behaviour within a distributed system, without coding the behaviour into the managers. Authorisation policies specify what activitie...
152
Voted
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
139
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
167
click to vote
FGR
2008
IEEE
15 years 7 months ago
2008
IEEE
The phenomenal growth of video on the web and the increasing sparseness of meta information associated with it forces us to look for signals from the video content for search/info...