Search Sciweavers | Sciweavers

13717 search results - page 298 / 2744

» Control Systems

176

click to vote

FSEN
2009
Springer

147views Software Engineering» more FSEN 2009»

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

15 years 10 months ago

Download www.cs.aau.dk

This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...

Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane

claim paper

Read More »

127

click to vote

CCGRID
2004
IEEE

97views Distributed And Parallel Com...» more CCGRID 2004»

Adaptive control system for server groups in enterprise data centers

15 years 10 months ago

Download www.hpl.hp.com

Sven Graupner, J.-M. Chevrot, Nigel Cook, R. Kavan...

claim paper

Read More »

116

click to vote

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

15 years 10 months ago

Download www.cs.bham.ac.uk

Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev

claim paper

Read More »

177

click to vote

ETFA
2006
IEEE

144views Emerging Technology» more ETFA 2006»

Component based deployment of industrial control systems: a hybrid scheduling approach

15 years 10 months ago

Download hal.inria.fr

This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...

Mohamed Khalgui, Xavier Rebeuf, Françoise S...

claim paper

Read More »

171

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers