Sciweavers

77016 search results - page 329 / 15404
» Modeling Modeling
Sort
View
CAISE
2004
Springer
16 years 2 days ago
A Unified Foundational Ontology and some Applications of it in Business Modeling
: Foundational ontologies provide the basic concepts upon which any domain-specific ontology is built. This paper presents a new foundational ontology, UFO, and shows how it can be...
Giancarlo Guizzardi, Gerd Wagner
ISIPTA
2003
IEEE
119views Mathematics» more  ISIPTA 2003»
15 years 12 months ago
Analysis of Local or Asymmetric Dependencies in Contingency Tables using the Imprecise Dirichlet Model
We consider the statistical problem of analyzing the association between two categorical variables from cross-classified data. The focus is put on measures which enable one to st...
Jean-Marc Bernard
IJNSEC
2008
88views more  IJNSEC 2008»
15 years 6 months ago
Security Requirements for RFID Computing Systems
Many security and privacy protocols for RFID systems have been proposed [8, 13, 19, 20]. In most cases these protocols are evaluated in terms of security based on some model. Ofte...
Xiaolan Zhang 0003, Brian King
COMPSAC
2002
IEEE
15 years 11 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
GG
2008
Springer
15 years 7 months ago
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
Hartmut Ehrig, Ulrike Prange
« Prev « First page 329 / 15404 Last » Next »