174 search results - page 28 / 35 » Expression Templates in Ada |
161
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
171
Voted
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
187
Voted
ICIP
2000
IEEE
15 years 10 months ago
2000
IEEE
In the paper, a methodology for individual face synthesis using given orthogonal photos is proposed. And an integrated speech-driven facial animation system is presented. Firstly,...
149
Voted
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this experience report we present a case study in designing, implementing, and reusing an object-oriented framework for constructing and editing complex search expressions over...
161
Voted
GCSE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...