2920 search results - page 438 / 584 » Finite information logic |
149
click to vote
FC
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
164
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
180
click to vote
NPAR
2004
ACM
15 years 12 months ago
2004
ACM
We present a method to aid in the generation of pen-and-ink style renderings of complex geometry. Most illustration algorithms focus on rendering a small number of surfaces with a...
176
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
183
click to vote
ACRI
2004
Springer
15 years 12 months ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...