4081 search results - page 515 / 817 » The Impact of Constraint Programming |
195
click to vote
AUSAI
2004
Springer
15 years 12 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
151
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
170
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We propose two different methods for generating random orthogonal polygons with a given number of vertices. One is a polynomial time algorithm and it is supported by a t...
131
click to vote
CMSB
2003
Springer
15 years 11 months ago
2003
Springer
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. Using a constraint pr...
191
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Agile practices are arguably improving the productivity of small, co-located software development teams. In this paper, we describe an approach that tries to overcome the constrai...