Search Sciweavers | Sciweavers

8781 search results - page 227 / 1757

» Enterprise Model Integration

136

click to vote

ICEIS
2008
IEEE

89views Information Technology» more ICEIS 2008»

Model-Driven Generation and Optimization of Complex Integration Processes

16 years 29 days ago

Download www.htw-dresden.de

Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...

claim paper

Read More »

135

click to vote

RSP
2008
IEEE

134views Control Systems» more RSP 2008»

Integrating Abstract NoC Models within MPSoC Design

16 years 27 days ago

Download www.inf.pucrs.br

Edson Ifarraguirre Moreno, Katalin Maria Popovici,...

claim paper

Read More »

142

click to vote

MEMOCODE
2006
IEEE

81views Formal Methods» more MEMOCODE 2006»

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design

16 years 16 days ago

Download www.fermat.ece.vt.edu

Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Ris...

claim paper

Read More »

142

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

16 years 4 days ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

150

click to vote

ECBS
2005
IEEE

84views Hardware» more ECBS 2005»

Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages

16 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers