Sciweavers

5352 search results - page 215 / 1071
» Modeling the socio-cultural context
Sort
View
APN
2008
Springer
15 years 8 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
AO
2005
75views more  AO 2005»
15 years 6 months ago
A multi-layered ontology for comparing relationship semantics in conceptual models of databases
Relationships are an integral part of the design of a database. Comparing and integrating relationships from heterogeneous databases requires that the relationships be mapped to ea...
Sandeep Purao, Veda C. Storey
OTM
2005
Springer
16 years 4 days ago
A Model of Pervasive Services for Service Composition
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
Caroline Funk, Christoph Kuhmünch, Christoph ...
DCC
2000
IEEE
15 years 11 months ago
The Skip-Innovation Model for Sparse Images
On sparse images, contiguous runs of identical symbols often occur in the same coding context. This paper proposes a model for efficiently encoding such runs in a twodimensional s...
Paul J. Ausbeck Jr.
HICSS
1999
IEEE
89views Biometrics» more  HICSS 1999»
15 years 11 months ago
Virtualization of Organizations: Consequences for Workflow Modeling
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
Wolfgang Ortner, Christian Stary