3885 search results - page 197 / 777 » Transformations for Write-All-with-Collision Model |
124
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
151
click to vote
NMELP
1994
15 years 9 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
134
Voted
ACII
2005
Springer
15 years 7 months ago
2005
Springer
Abstract The research presented here is to create 3D virtual face based on the canonical face model derived from a clustering method on facial feature points. The algorithm efficie...
117
Voted
ENTCS
2006
15 years 5 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
150
Voted
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...