4480 search results - page 59 / 896 » Prototyping Completion with Constraints Using Computational ... |
129
Voted
JAIR
2006
15 years 3 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
146
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
132
Voted
ESORICS
2007
Springer
15 years 7 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
135
Voted
MICCAI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper presents a model-based vision system for dentistry that will assist in diagnosis, treatment planning and surgical simulation. Dentistry requires the accurate 3...
114
Voted
VRML
2000
ACM
15 years 7 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...