Search Sciweavers | Sciweavers

14331 search results - page 271 / 2867

» On the modeling and analysis of obligations

105

click to vote

WICOMM
2010

65views more WICOMM 2010»

Characteristics analysis and modeling of frame traffic in 802.11 wireless networks

15 years 5 months ago

Download www.eps.hw.ac.uk

Xiaohu Ge, Yang Yang, Cheng-Xiang Wang, Ying-Zhuan...

claim paper

Read More »

150

click to vote

ASM
2010
ASM

257views Computational Biology» more ASM 2010»

Formal Analysis in Model Management: Exploiting the Power of CZT

15 years 4 months ago

Download www.jamesrobertwilliams.co.uk

James R. Williams, Fiona A. C. Polack, Richard F. ...

claim paper

Read More »

133

click to vote

IPPS
2010
IEEE

113views Distributed And Parallel Com...» more IPPS 2010»

Modeling and analysis of real -time systems with mutex components

15 years 4 months ago

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper

Read More »

126

click to vote

SECRYPT
2010

132views Business» more SECRYPT 2010»

Efficient Algorithmic Safety Analysis of HRU Security Models

15 years 4 months ago

Download www.tu-ilmenau.de

Anja Fischer, Winfried E. Kühnhauser

claim paper

Read More »

146

click to vote

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers