Search Sciweavers | Sciweavers

21430 search results - page 38 / 4286

» Abstract Effective Models

144

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 1 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

138

click to vote

RSP
2008
IEEE

134views Control Systems» more RSP 2008»

Integrating Abstract NoC Models within MPSoC Design

16 years 1 months ago

Download www.inf.pucrs.br

Edson Ifarraguirre Moreno, Katalin Maria Popovici,...

claim paper

Read More »

135

click to vote

ICEBE
2007
IEEE

92views Business» more ICEBE 2007»

ASM-TL: an Abstract Service Model Enabling Adaptive Matchmaking

16 years 29 days ago

Download sourcedb.ict.cas.cn

Wanghu Chen, Yanbo Han, Chen Liu, Jing Wang 0002, ...

claim paper

Read More »

146

click to vote

SIPS
2007
IEEE

85views Signal Processing» more SIPS 2007»

Rapid Abstract Control Model for Signal Processing Implementation

16 years 27 days ago

Download www.ee.iitm.ac.in

Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan

claim paper

Read More »

135

click to vote

AGILE
2007
Springer

142views GIS» more AGILE 2007»

A Universal Abstract Model for Future Movements of Moving Objects

16 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers