Search Sciweavers | Sciweavers

5200 search results - page 79 / 1040

» Symbolic models for control systems

click to vote

SACMAT
2003
ACM

106views Control Systems» more SACMAT 2003»

An administration concept for the enterprise role-based access control model

14 years 2 months ago

Download www.cs.purdue.edu

Axel Kern, Andreas Schaad, Jonathan D. Moffett

claim paper

Read More »

click to vote

CSFW
1995
IEEE

139views Security Privacy» more CSFW 1995»

Implementation of a discretionary access control model for script-based systems

14 years 11 days ago

Download www.eecs.umich.edu

Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the ...

Trent Jaeger, Atul Prakash

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

151views Software Engineering» more ICSE 2009»

Model checking flight control systems: The Airbus experience

13 years 6 months ago

Download homepages.laas.fr

This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...

Thomas Bochot, Pierre Virelizier, Hél&egrav...

claim paper

Read More »

click to vote

DATE
2003
IEEE

122views Hardware» more DATE 2003»

Synthesis of Complex Control Structures from Behavioral SystemC Models

14 years 2 months ago

Download www.date-conference.com

In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...

Francesco Bruschi, Fabrizio Ferrandi

claim paper

Read More »

click to vote

ICEIS
2005
IEEE

84views Information Technology» more ICEIS 2005»

Model Driven Development of Business Process Monitoring and Control Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers