Sciweavers

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