Search Sciweavers | Sciweavers

21430 search results - page 38 / 4286

» Abstract Effective Models

135

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 9 days ago

Download www.carstensinz.de

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

claim paper

Read More »

131

click to vote

RSP
2008
IEEE

134views Control Systems» more RSP 2008»

Integrating Abstract NoC Models within MPSoC Design

16 years 9 days ago

Download www.inf.pucrs.br

Edson Ifarraguirre Moreno, Katalin Maria Popovici,...

claim paper

Read More »

126

click to vote

ICEBE
2007
IEEE

92views Business» more ICEBE 2007»

ASM-TL: an Abstract Service Model Enabling Adaptive Matchmaking

16 years 7 days ago

Download sourcedb.ict.cas.cn

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

claim paper

Read More »

134

click to vote

SIPS
2007
IEEE

85views Signal Processing» more SIPS 2007»

Rapid Abstract Control Model for Signal Processing Implementation

16 years 5 days ago

Download www.ee.iitm.ac.in

Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan

claim paper

Read More »

128

click to vote

AGILE
2007
Springer

142views GIS» more AGILE 2007»

A Universal Abstract Model for Future Movements of Moving Objects

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers