Search Sciweavers | Sciweavers

7209 search results - page 51 / 1442

» Software Engineering for Multi-Agent Systems

click to vote

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

13 years 10 months ago

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

click to vote

CISSE
2008
Springer

135views Software Engineering» more CISSE 2008»

Aspect-Oriented Approach to Operating System Development Empirical Study

13 years 10 months ago

Download www.informatics.org.cn

Jaakko Kuusela, Harri Tuominen

claim paper

Read More »

click to vote

DICS
2006

103views Software Engineering» more DICS 2006»

Dependable Systems

13 years 10 months ago

Download dmi.uib.es

André Schiper

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

13 years 10 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

click to vote

IESA
2007

92views Software Engineering» more IESA 2007»

OntoMas: a Tutoring System dedicated to Ontology Matching

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers