Sciweavers

5407 search results - page 21 / 1082

» The Software Engineering Global Model

20

TMRA
2005
Springer

90views Software Engineering» more TMRA 2005»

Conceptual Modeling of Topic Maps with ORM Versus UML

14 years 25 days ago

Conceptual Modeling of Topic Maps with ORM Versus UML

Download www.informatik.uni-leipzig.de

Are D. Gulbrandsen

claim paper

Read More »

22

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

14 years 24 days ago

Using model trees to characterize computer resource usage

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

17

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

14 years 23 days ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

19

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

14 years 23 days ago

Optimising Communication Structure for Model Checking

Download www.csc.liv.ac.uk

Peter Saffrey, Muffy Calder

claim paper

Read More »

18

ICSE
2004
IEEE-ACM

132views Software Engineering» more ICSE 2004»

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

14 years 22 days 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 »