Sciweavers

5407 search results - page 21 / 1082

» The Software Engineering Global Model

96

TMRA
2005
Springer

90views Software Engineering» more TMRA 2005»

Conceptual Modeling of Topic Maps with ORM Versus UML

15 years 9 months ago

Conceptual Modeling of Topic Maps with ORM Versus UML

Download www.informatik.uni-leipzig.de

Are D. Gulbrandsen

claim paper

Read More »

104

Voted

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 8 months ago

Using model trees to characterize computer resource usage

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

90

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 8 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

110

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

15 years 8 months ago

Optimising Communication Structure for Model Checking

Download www.csc.liv.ac.uk

Peter Saffrey, Muffy Calder

claim paper

Read More »

100

ICSE
2004
IEEE-ACM

132views Software Engineering» more ICSE 2004»

Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model

15 years 8 months ago

Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model

Download www.humbertocervantes.net

Humberto Cervantes, Richard S. Hall

claim paper

Read More »

« Prev « First page 21 / 1082 Last » Next »