Sciweavers

2483 search results - page 240 / 497
» A design framework to model retinas
Sort
View
FASE
2010
Springer
15 years 10 months ago
An Automata-Theoretic Approach to Hardware/Software Co-verification
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, C...
174
Voted
AAI
2004
127views more  AAI 2004»
15 years 6 months ago
Evaluating The Regret System
The ReGreT system is a trust and reputation mechanism that uses, among other things, social information to improve the calculation of trust and reputation measures. Using a framew...
Jordi Sabater
ISLPED
2010
ACM
184views Hardware» more  ISLPED 2010»
15 years 6 months ago
Hybrid energy storage system integration for vehicles
Energy consumption and the associated environmental impact are a pressing challenge faced by the transportation sector. Emerging electric-drive vehicles have shown promises for su...
Jia Wang, Kun Li, Qin Lv, Hai Zhou, Li Shang
191
Voted
MOBIDE
2006
ACM
16 years 17 days ago
Boosting location-based services with a moving object database engine
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
Nikos Pelekis, Yannis Theodoridis
HT
2000
ACM
15 years 11 months ago
The travails of visually impaired web travellers
This paper proposes the inclusion of travel and mobility in the usability metrics of web design. Hypertext design and usability has traditionally concentrated upon navigation and/...
Carole A. Goble, Simon Harper, Robert Stevens