Search Sciweavers | Sciweavers

29172 search results - page 423 / 5835

» Modeling Systems in CLP

183

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 10 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

145

click to vote

ACSAC
2001
IEEE

127views Security Privacy» more ACSAC 2001»

A Security Model for Military Message Systems: Retrospective

15 years 10 months ago

Download www.acsac.org

Carl E. Landwehr, Constance L. Heitmeyer, John D. ...

claim paper

Read More »

162

click to vote

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 10 months ago

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

170

click to vote

CCS
2001
ACM

143views Security Privacy» more CCS 2001»

A Chinese wall security model for decentralized workflow systems

15 years 10 months ago

Download cimic.rutgers.edu

Keywords

Vijayalakshmi Atluri, Soon Ae Chun, Pietro Mazzole...

claim paper

Read More »

118

click to vote

DAC
2010
ACM

105views Computer Architecture» more DAC 2010»

Worst-case response time analysis of resource access models in multi-core systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers