10435 search results - page 1901 / 2087 » Computational Biology and Language |
152
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
The typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-w...
173
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
173
click to vote
DCOSS
2007
Springer
16 years 23 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
184
click to vote
ESORICS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
144
click to vote
FCT
2007
Springer
16 years 23 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...