2407 search results - page 265 / 482 » A Tool for Abstraction in Model Checking |
230
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Using the classical Parzen window (PW) estimate as the target function, the sparse kernel density estimator is constructed in a forward constrained regression manner. The...
195
click to vote
FOSSACS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
255
click to vote
ICTAC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
181
click to vote
RTA
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
205
click to vote
UML
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...