Search Sciweavers | Sciweavers

12981 search results - page 272 / 2597

» Model Checking and Abstraction

117

click to vote

DSD
2006
IEEE

115views Hardware» more DSD 2006»

Abstract Application Modeling for System Design Space Exploration

16 years 23 days ago

Download www.tsi.enst.fr

Muhammad Waseem, Ludovic Apvrille, Rabéa Am...

claim paper

Read More »

164

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

16 years 23 days ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

112

click to vote

ICEIS
2006
IEEE

101views Information Technology» more ICEIS 2006»

Towards Practical Tools for Mining Abstractions in UML Models

16 years 22 days ago

Download www.lirmm.fr

Michel Dao, Marianne Huchard, Mohamed Rouane Hacen...

claim paper

Read More »

147

click to vote

EDOC
2005
IEEE

110views Distributed And Parallel Com...» more EDOC 2005»

Abstract Interactions and Interaction Refinement in Model-Driven Design

16 years 9 days ago

Download is.tm.tue.nl

João Paulo A. Almeida, Remco M. Dijkman, Lu...

claim paper

Read More »

140

click to vote

BPM
2005
Springer

88views Business» more BPM 2005»

Mining Hierarchies of Models: From Abstract Views to Concrete Specifications

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers