Sciweavers

12981 search results - page 270 / 2597
» Model Checking (Abstract)
Sort
View
RSP
2008
IEEE
134views Control Systems» more  RSP 2008»
16 years 29 days ago
Integrating Abstract NoC Models within MPSoC Design
Edson Ifarraguirre Moreno, Katalin Maria Popovici,...
ICEBE
2007
IEEE
92views Business» more  ICEBE 2007»
16 years 27 days ago
ASM-TL: an Abstract Service Model Enabling Adaptive Matchmaking
Wanghu Chen, Yanbo Han, Chen Liu, Jing Wang 0002, ...
SIPS
2007
IEEE
16 years 25 days ago
Rapid Abstract Control Model for Signal Processing Implementation
Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan
AGILE
2007
Springer
142views GIS» more  AGILE 2007»
16 years 23 days ago
A Universal Abstract Model for Future Movements of Moving Objects
Reasey Praing, Markus Schneider