Sciweavers

8623 search results - page 60 / 1725

» Software engineering for secure systems

26

CISSE
2008
Springer

135views Software Engineering» more CISSE 2008»

Aspect-Oriented Approach to Operating System Development Empirical Study

13 years 11 months ago

Aspect-Oriented Approach to Operating System Development Empirical Study

Download www.informatics.org.cn

Jaakko Kuusela, Harri Tuominen

claim paper

Read More »

30

DICS
2006

103views Software Engineering» more DICS 2006»

Dependable Systems

13 years 11 months ago

Dependable Systems

Download dmi.uib.es

André Schiper

claim paper

Read More »

22

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

13 years 10 months ago

Event order abstraction for parametric real-time system verification

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

27

IESA
2007

92views Software Engineering» more IESA 2007»

OntoMas: a Tutoring System dedicated to Ontology Matching

13 years 10 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 »

24

AVI
1998

69views Software Engineering» more AVI 1998»

A system for supporting and managing same-time/different-place group interactions

13 years 10 months ago

A system for supporting and managing same-time/different-place group interactions

Download homepages.di.fc.ul.pt

Pedro Antunes

claim paper

Read More »

« Prev « First page 60 / 1725 Last » Next »