Sciweavers

1917 search results - page 273 / 384
» User Model and Utility Based Power Management
Sort
View
SACMAT
2010
ACM
13 years 7 months ago
Enforcing spatial constraints for mobile RBAC systems
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
Michael S. Kirkpatrick, Elisa Bertino
RIDE
1996
IEEE
14 years 1 months ago
A Multidatabase System Implementation on CORBA
METU INteroperable DBMS (MIND) is a multidatabase system based on OMG's distributed object management architecture. It is implemented on top of a CORBA compliant ORB, namely,...
Asuman Dogac, Cevdet Dengi, Ebru Kilic, Gökha...
TACAS
2000
Springer
149views Algorithms» more  TACAS 2000»
14 years 24 days ago
Proof General: A Generic Tool for Proof Development
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
David Aspinall
DSS
2002
220views more  DSS 2002»
13 years 9 months ago
Past, present, and future of decision support technology
Since the early 1970s, decision support systems (DSS) technology and applications have evolved significantly. Many technological and organizational developments have exerted an im...
J. P. Shim, Merrill Warkentin, James F. Courtney, ...
CN
2007
146views more  CN 2007»
13 years 9 months ago
Autonomic control and personalization of a wireless access network
As ICT services are becoming more ubiquitous and mobile and access technologies grow to be more heterogeneous and complex, we are witnessing the increasing importance of two relat...
Nicola Blefari-Melazzi, Dario Di Sorte, Mauro Femm...