Search Sciweavers | Sciweavers

4919 search results - page 18 / 984

» A Process-Ontological Model for Software Engineering

117

Voted

TMRA
2005
Springer

90views Software Engineering» more TMRA 2005»

Conceptual Modeling of Topic Maps with ORM Versus UML

15 years 11 months ago

Download www.informatik.uni-leipzig.de

Are D. Gulbrandsen

claim paper

Read More »

122

click to vote

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 11 months ago

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

112

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 11 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

132

click to vote

FASE
2004
Springer

73views Software Engineering» more FASE 2004»

Optimising Communication Structure for Model Checking

15 years 11 months ago

Download www.csc.liv.ac.uk

Peter Saffrey, Muffy Calder

claim paper

Read More »

126

click to vote

ICSE
2004
IEEE-ACM

132views Software Engineering» more ICSE 2004»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers