2398 search results - page 398 / 480 » Constraint Programming and Graph Algorithms |
124
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
111
click to vote
ESORICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
KDD
2000
ACM
15 years 6 months ago
2000
ACM
Affordable, fast computers with large memories have lessened the demand for program efficiency, but applications such as browsing and searching very large databases often have rat...
145
click to vote
ISSS
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
116
Voted
NETWORKS
2008
15 years 2 months ago
2008
The Network Interdiction Problem involves interrupting an adversary's ability to maximize flow through a capacitated network by destroying portions of the network. A budget c...