4047 search results - page 367 / 810 » Some Properties and Some Problems on Set Functors |
168
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Frequent coherent subgraphscan provide valuable knowledgeabout the underlying internal structure of a graph database, and mining frequently occurring coherent subgraphs from large...
255
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
The Discrete Wavelet Transform is a proven tool for a wide range of database applications. However, despite broad acceptance, some of its properties have not been fully explored a...
158
click to vote
WKDD
2010
CPS
16 years 1 months ago
2010
CPS
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...
150
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
157
click to vote
FOSAD
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...