Sciweavers

857 search results - page 145 / 172
» A Formal Framework for Adaptive Access Control Models
Sort
View
CAD
2006
Springer
13 years 7 months ago
A unified subdivision approach for multi-dimensional non-manifold modeling
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
Yu-Sung Chang, Hong Qin
ICLP
2010
Springer
13 years 11 months ago
Models for Trustworthy Service and Process Oriented Systems
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
Hugo A. López
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
14 years 1 months ago
Locomotion Imitation of Humanoid Using Goal-directed Self-adjusting Adaptor
- We propose a novel framework for imitation learning that helps a humanoid robot achieve its goal of learning. There are apparent discrepancies in shapes and sizes among humans an...
Woosung Yang, Nak Young Chong, ChangHwan Kim, Bum-...
DANCE
2002
IEEE
14 years 16 days ago
Developing Dynamic Security Policies
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
Prasad Naldurg, Roy H. Campbell, M. Dennis Mickuna...
MMMACNS
2001
Springer
14 years 7 hour ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato