Sciweavers

10910 search results - page 1803 / 2182
» Input modeling using a computer algebra system
Sort
View
POPL
2008
ACM
16 years 7 months ago
Semantics of transactional memory and automatic mutual exclusion
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
Andrew Birrell, Martín Abadi, Michael Isard...
POLICY
2009
Springer
16 years 1 months ago
Towards Session-Aware RBAC Administration and Enforcement with XACML
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
Min Xu, Duminda Wijesekera, Xinwen Zhang, Deshan C...
CCGRID
2008
IEEE
16 years 1 months ago
Managing Cancellations and No-Shows of Reservations with Overbooking to Increase Resource Revenue
Advance reservation allows users to request available nodes in the future, whereas economy provides an incentive for resource owners to be part of the Grid, and encourages users t...
Anthony Sulistio, Kyong Hoon Kim, Rajkumar Buyya
RTSS
2007
IEEE
16 years 1 months ago
An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor Networks
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
Chung-Ching Shen, William Plishker, Shuvra S. Bhat...
SEMCO
2007
IEEE
16 years 1 months ago
Eventory -- An Event Based Media Repository
This paper focuses on the development of an event driven media sharing repository to facilitate community awareness. In this paper, an event refers to a real-world occurrence that...
Xiang-jun Wang, Swathi Mamadgi, Atit Thekdi, Aisli...
« Prev « First page 1803 / 2182 Last » Next »