Search Sciweavers | Sciweavers

3914 search results - page 58 / 783

» Automating SLA modeling

click to vote

ICRA
2002
IEEE

101views Robotics» more ICRA 2002»

Modeling of Complex Automation Systems using Colored State Charts

14 years 19 days ago

Download www.theoinf.tu-ilmenau.de

Olga Fengler, Wolfgang Fengler, Vesselka Duridanov...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 19 days ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

108views Software Engineering» more ICSE 2009»

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

14 years 9 days ago

Download ast2009.com

Alberto Avritzer, Elaine J. Weyuker

claim paper

Read More »

click to vote

MAAMAW
1994
Springer

109views Intelligent Agents» more MAAMAW 1994»

DA-Soc: A Testbed for Modelling Distribution Automation Applications Using Agent-Oriented Programming

13 years 11 months ago

Download www.bth.se

Staffan Haegg, Fredrik Ygge, Rune Gustavsson, Hans...

claim paper

Read More »

click to vote

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers