386 search results - page 11 / 78 » Model Classifications and Automated Verification |
140
click to vote
IJSEKE
2011
14 years 3 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
100
Voted
AROBOTS
2002
15 years 8 days ago
2002
Abstract. We describe a new method for representing human movement compactly, in terms of a linear superimposition of simpler movements termed primitives. This method is a part of ...
131
click to vote
ASE
2005
15 years 9 days ago
2005
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
The subcellular location of proteins is most often determined by visual interpretation of fluorescence microscope images. In recent years, automated systems have been developed so...
69
Voted
FOIS
2010
15 years 1 months ago
2010
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...