Sciweavers

2021 search results - page 191 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
DLOG
2011
14 years 10 months ago
A Technique for Handling the Right Hand Side of Complex RIAs
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
Milenko Mosurovic, Nenad Krdzavac
TWC
2010
15 years 1 months ago
Performance of an Energy Detector over Channels with Both Multipath Fading and Shadowing
This paper analyzes the performance of an energy detector over wireless channels with composite multipath fading and shadowing effects. These effects are modeled by using the and ...
Saman Atapattu, Chintha Tellambura, Hai Jiang
RP
2009
Springer
110views Control Systems» more  RP 2009»
16 years 1 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
COMPSAC
2006
IEEE
16 years 16 days ago
A Pattern-Based Technique for Developing UML Models of Access Control Systems
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
Dae-Kyoo Kim, Priya Gokhale
EUROMICRO
2005
IEEE
16 years 2 days ago
A Taxonomy of Software Component Models
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
Kung-Kiu Lau, Zheng Wang