Search Sciweavers | Sciweavers

2404 search results - page 6 / 481

» Postmodernism and Control Engineering

click to vote

PEPM
2009
ACM

98views Software Engineering» more PEPM 2009»

Shifting the stage: staging with delimited control

14 years 6 months ago

Download www.cs.rutgers.edu

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Sha...

claim paper

Read More »

click to vote

ESSOS
2010
Springer

142views Software Engineering» more ESSOS 2010»

Idea: Efficient Evaluation of Access Control Constraints

14 years 6 months ago

Download www.brucker.ch

Achim D. Brucker, Helmut Petritsch

claim paper

Read More »

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

14 years 4 months ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

click to vote

COMPSAC
2008
IEEE

106views Software Engineering» more COMPSAC 2008»

Predicting Performance on a Loosely Controlled Event System

14 years 4 months ago

Download www.zurich.ibm.com

Sean Rooney, Luis Garcés-Erice

claim paper

Read More »

click to vote

IWPC
2008
IEEE

122views Software Engineering» more IWPC 2008»

Do Dynamic Object Process Graphs Support Program Understanding? - A Controlled Experiment

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers