Search Sciweavers | Sciweavers

5639 search results - page 8 / 1128

» Timed Abstract Non-interference

114

click to vote

RTSS
2009
IEEE

148views Control Systems» more RTSS 2009»

Component-Based Abstraction Refinement for Timed Controller Synthesis

16 years 1 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper

Read More »

121

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

16 years 1 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...

claim paper

Read More »

148

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

16 years 1 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

139

click to vote

CCGRID
2008
IEEE

128views Distributed And Parallel Com...» more CCGRID 2008»

Grid Resource Abstraction, Virtualization, and Provisioning for Time-Targeted Applications

16 years 1 months ago

Download csag.ucsd.edu

Yang-Suk Kee, Carl Kesselman

claim paper

Read More »

158

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

16 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers