Search Sciweavers | Sciweavers

16541 search results - page 430 / 3309

» Ontologies and Software Engineering

138

click to vote

ADAEUROPE
2006
Springer

88views Software Engineering» more ADAEUROPE 2006»

A Systematic Approach to Developing Safe Tele-operated Robots

15 years 10 months ago

Download www.hurray.isep.ipp.pt

Diego Alonso, Pedro Sánchez, Bárbara...

claim paper

Read More »

136

click to vote

ARCS
2004
Springer

146views Software Engineering» more ARCS 2004»

Fault Tolerance in a DSM Cluster Operating System

15 years 10 months ago

Download www.plurix.de

Michael Schöttner, Stefan Frenz, Ralph Gö...

claim paper

Read More »

138

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 10 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Matias Madou, Koen De Bosschere,...

claim paper

Read More »

175

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

15 years 10 months ago

Download www.csis.ul.ie

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...

claim paper

Read More »

156

click to vote

ASWSD
2006
Springer

299views Software Engineering» more ASWSD 2006»

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers