Search Sciweavers | Sciweavers

12981 search results - page 270 / 2597

» Model Checking and Abstraction

148

click to vote

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

16 years 1 months ago

Download staff.polito.it

Alfredo Pironti, Riccardo Sisto

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 »

137

click to vote

ICEBE
2007
IEEE

92views Business» more ICEBE 2007»

ASM-TL: an Abstract Service Model Enabling Adaptive Matchmaking

16 years 1 months 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 29 days ago

Download www.ee.iitm.ac.in

Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan

claim paper

Read More »

136

click to vote

AGILE
2007
Springer

142views GIS» more AGILE 2007»

A Universal Abstract Model for Future Movements of Moving Objects

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers