389 search results - page 33 / 78 » The Notion of Role in Conceptual Modeling |
121
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
118
click to vote
SIAMCOMP
2002
15 years 1 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
130
click to vote
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
FLAIRS
2003
15 years 3 months ago
2003
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...