575 search results - page 2 / 115 » Towards Electrical, Integrated Implementations of SIMPL Syst... |
WWW
2006
ACM
14 years 6 months ago
2006
ACM
Integration of Web search with geographic information has recently attracted much attention. There are a number of local Web search systems enabling users to find locationspecific...
IJRFITA
2007
13 years 5 months ago
2007
: Precise temperature monitoring is the major precondition to supervise quality losses within the transport chain for fresh products. Different types of miniaturised data loggers w...
FUIN
2006
13 years 5 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
DELTA
2004
IEEE
13 years 9 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...