Sciweavers

1133 search results - page 148 / 227
» Modeling and Control of Distributed Asynchronous Computation...
Sort
View
CA
2000
IEEE
14 years 3 months ago
Dynamic Sculpting and Animation of Free-form Subdivision Solids
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
Kevin T. McDonnell, Hong Qin
SACMAT
2009
ACM
14 years 5 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
WSCG
2004
146views more  WSCG 2004»
14 years 3 days ago
Frequency-based Operators for Freeform Feature Shape Reuse
Freeform feature shape reuse is an important issue in industrial design supporting. In this paper, the frequencybased operators for freeform feature shape reuse are discussed. Unl...
Chensheng Wang, Joris S. M. Vergeest, Yu Song
ICNP
1999
IEEE
14 years 3 months ago
Fluid Analysis of Delay Performance for QoS Support in Wireless Networks
Providing quality of service (QoS) guarantees over wireless links requires thorough understanding and quantification of the interactions among the traffic source, the wireless cha...
Jeong Geun Kim, Marwan Krunz
ATAL
2007
Springer
14 years 5 months ago
Modelling the provenance of data in autonomous systems
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
Simon Miles, Steve Munroe, Michael Luck, Luc Morea...