Sciweavers

10669 search results - page 51 / 2134

» Software - Implemented Self-healing System

28

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

14 years 1 days ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

26

CISSE
2008
Springer

135views Software Engineering» more CISSE 2008»

Aspect-Oriented Approach to Operating System Development Empirical Study

14 years 1 days ago

Aspect-Oriented Approach to Operating System Development Empirical Study

Download www.informatics.org.cn

Jaakko Kuusela, Harri Tuominen

claim paper

Read More »

33

DICS
2006

103views Software Engineering» more DICS 2006»

Dependable Systems

14 years 11 hour ago

Dependable Systems

Download dmi.uib.es

André Schiper

claim paper

Read More »

23

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

13 years 11 months ago

Event order abstraction for parametric real-time system verification

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

32

IESA
2007

92views Software Engineering» more IESA 2007»

OntoMas: a Tutoring System dedicated to Ontology Matching

13 years 11 months ago

OntoMas: a Tutoring System dedicated to Ontology Matching

Download www.dit.unitn.it

Mirella Huza, Mounira Harzallah, Francky Trichet

claim paper

Read More »

« Prev « First page 51 / 2134 Last » Next »