Sciweavers

2880 search results - page 288 / 576
» Types are calling conventions
Sort
View
ICC
2007
IEEE
16 years 1 months ago
Framework for Agent-Based Role Delegation
— This paper describes a framework for addressing the administration of role delegation introduced in the wellknown role-based access control model (RBAC). More specifically, thi...
Ezedin Barka, Ravi S. Sandhu
IEEEICCI
2007
IEEE
16 years 1 months ago
A Logic Language of Granular Computing
Granular computing concerns human thinking and problem solving, as well as their implications to the design of knowledge intensive systems. It simplifies complex real world probl...
Yiyu Yao, Bing Zhou
MOBIQUITOUS
2007
IEEE
16 years 29 days ago
Privacy-Preserving Detection of Sybil Attacks in Vehicular Ad Hoc Networks
— Vehicular ad hoc networks (VANETs) are being advocated for traffic control, accident avoidance, and a variety of other applications. Security is an important concern in VANETs...
Tong Zhou, Romit Roy Choudhury, Peng Ning, Krishne...
TPHOL
2007
IEEE
16 years 29 days ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
VTC
2007
IEEE
16 years 28 days ago
UMTS Non Real-Time Sessions Channel Switching Emulation
— We discuss here a scheme to improve the Rel 99 UMTS radio resource management. The article focuses on the two different types of transport channel: shared and dedicated. It eva...
Hugues van Peteghem, Laurent Schumacher