Sciweavers

2261 search results - page 166 / 453
» Relationships Between Models of Concurrency
Sort
View
CRYPTO
2012
Springer
215views Cryptology» more  CRYPTO 2012»
11 years 10 months ago
New Proof Methods for Attribute-Based Encryption: Achieving Full Security through Selective Techniques
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
Allison B. Lewko, Brent Waters
PERCOM
2007
ACM
14 years 7 months ago
XCML: A Runtime Representation for the Context Modelling Language
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...
Ricky Robinson, Karen Henricksen, Jadwiga Indulska
CAISE
2008
Springer
13 years 10 months ago
On a Quest for Good Process Models: The Cross-Connectivity Metric
Abstract. Business process modeling is an important corporate activity, but the understanding of what constitutes good process models is still rather limited. In this paper, we tur...
Irene T. P. Vanderfeesten, Hajo A. Reijers, Jan Me...
FLAIRS
2007
13 years 10 months ago
Managing Dynamic Contexts Using Failure-Driven Stochastic Models
We describe an architecture for representing and managing context shifts that supports dynamic data interpretation. This architecture utilizes two layers of learning and three lay...
Nikita A. Sakhanenko, George F. Luger, Carl R. Ste...
MDM
2009
Springer
135views Communications» more  MDM 2009»
14 years 2 months ago
Topology of the Prism Model for 3D Indoor Spatial Objects
Topological relationships between spatial objects are an essential property of spatial objects. They are used for spatial analysis and query processing. In this paper, we first i...
Joon-Seok Kim, Hye-Young Kang, Tae-Hoon Lee, Ki-Jo...