Sciweavers

2232 search results - page 197 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Detecting oscillating singularities in multifractal analysis: Application to hydrodynamic turbulence
Multifractal analysis describes data as a collection of singularities. However, its classical formulation does not account for their possibly oscillating nature, while, in a numbe...
Patrice Abry, Stéphane G. Roux, Stép...
ER
2000
Springer
112views Database» more  ER 2000»
15 years 10 months ago
Ontological Analysis of Taxonomic Relationships
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
Nicola Guarino, Christopher A. Welty
EUROCRYPT
2001
Springer
15 years 11 months ago
Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
Ran Canetti, Hugo Krawczyk
APCCM
2008
15 years 8 months ago
Context Analysis: Toward Pragmatics of Web Information Systems Design
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
IAT
2010
IEEE
15 years 4 months ago
Risk Analysis in Access Control Systems Based on Trust Theories
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
J. Ma, Luigi Logrippo, Kamel Adi, Serge Mankovski