1210 search results - page 103 / 242 » Specifying Precise Use Cases with Use Case Charts |
114
click to vote
IEEEIAS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
136
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
113
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Partial knowledge about geospatial categories is critical for knowledge modelling in the geospatial domain but is beyond the scope of conventional ontologies. Degree of overlaps be...
138
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a method for key-frame selection of captured motion data. In many cases, it is desirable to obtain a compact representation of the human motion. Key-framing is...
151
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...