1368 search results - page 234 / 274 » Generalized Rook Polynomials |
170
click to vote
KBSE
2007
IEEE
16 years 8 days ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
201
click to vote
AB
2007
Springer
16 years 5 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
174
click to vote
CIE
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
143
click to vote
IWMM
2007
Springer
16 years 4 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
136
click to vote
TCC
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...