Sciweavers

857 search results - page 38 / 172
» A Formal Framework for Adaptive Access Control Models
Sort
View
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
14 years 4 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
WSC
1998
13 years 9 months ago
Evaluating Adaptive Signal Control Using CORSIM
This paper discusses the evaluation of adaptive traffic signal control using TSIS/CORSIM. The paper reviews three adaptive control strategies that have been developed through cont...
Charles Stallard, Larry E. Owen
DSRT
2005
IEEE
14 years 1 months ago
An Adaptive Load Management Mechanism for Distributed Simulation of Multi-agent Systems
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...
Ton Oguara, Dan Chen, Georgios K. Theodoropoulos, ...
ESWA
2007
208views more  ESWA 2007»
13 years 7 months ago
Adaptive and intelligent web based education system: Towards an integral architecture and framework
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
Alejandro Canales Cruz, Alejandro Peña Ayal...
ESORICS
2009
Springer
14 years 8 months ago
Formal Indistinguishability Extended to the Random Oracle Model
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
Cristian Ene, Yassine Lakhnech, Van Chan Ngo