Sciweavers

857 search results - page 121 / 172
» A Formal Framework for Adaptive Access Control Models
Sort
View
AIMS
2009
Springer
14 years 2 months ago
Dynamics of Resource Closure Operators
Abstract. We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manag...
Alva L. Couch, Marc Chiarini
SRDS
2003
IEEE
14 years 28 days ago
Modeling and Detecting Failures in Next-generation Distributed Multimedia Applications
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
Domenico Cotroneo, Cristiano di Flora, Generoso Pa...
PADS
2006
ACM
14 years 1 months ago
Intelligent Management of Data Driven Simulations to Support Model Building
Artificial intelligence (AI) can contribute to the management of a data driven simulation system, in particular with regard to adaptive selection of data and refinement of the mo...
Catriona Kennedy, Georgios K. Theodoropoulos
SIMUTOOLS
2008
13 years 9 months ago
An 802.16 model for NS2 simulator with an integrated QoS architecture
The IEEE 802.16 technology is emerging as a promising solution for BWA due to its ability to support multimedia services and to operate in multiple physical environments. Also, wi...
Ikbal Chammakhi Msadaa, Fethi Filali, Farouk Kamou...
FORMATS
2006
Springer
13 years 11 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi