Sciweavers

6799 search results - page 87 / 1360
» The Tao of Modeling Spaces
Sort
View
LCTRTS
2001
Springer
14 years 2 months ago
Designing an Efficient and Scalable Server-side Asynchrony Model for CORBA
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
Darrell Brunsch, Carlos O'Ryan, Douglas C. Schmidt
APWEB
2011
Springer
13 years 1 months ago
SecGuard: Secure and Practical Integrity Protection Model for Operating Systems
Host compromise is a serious security problem for operating systems. Most previous solutions based on integrity protection models are difficult to use; on the other hand, usable i...
Ennan Zhai, Qingni Shen, Yonggang Wang, Tao Yang, ...
MFCS
1989
Springer
14 years 2 months ago
Space Bounded Computations: Review And New Separation Results
In this paper we review the key results about space bounded complexity classes, discuss the central open problems and outline the prominent proof techniques. We show that, for a s...
Juris Hartmanis, Desh Ranjan
CVPR
2007
IEEE
14 years 12 months ago
Groupwise Shape Registration on Raw Edge Sequence via A Spatio-Temporal Generative Model
Groupwise shape registration of raw edge sequence is addressed. Automatically extracted edge maps are treated as noised input shape of the deformable object and their registration...
Huijun Di, Rao Naveed Iqbal, Guangyou Xu, Linmi Ta...
WWW
2007
ACM
14 years 10 months ago
A fault model and mutation testing of access control policies
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
Evan Martin, Tao Xie