Sciweavers

1341 search results - page 86 / 269
» Unified Modeling of Complex Real-Time Control Systems
Sort
View
IOT
2010
13 years 5 months ago
Supporting interaction with the Internet of Things across objects, time and space
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
Fahim Kawsar, Gerd Kortuem, Bashar Altakrouri
KES
2000
Springer
13 years 12 months ago
The cerebellum as computed torque model
In this article we consider the cerebellum in the vertebrate motor control system. Analyzing the delays in this control loop as well as the complexity of the dynamics of the skelet...
P. Patrick van der Smagt, Gerd Hirzinger
FDL
2007
IEEE
14 years 2 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
SUTC
2006
IEEE
14 years 2 months ago
Design and Implementation of Ubiquitous Smart Cameras
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
Chang Hong Lin, Wayne Wolf, Andrew Dixon, Xenofon ...
RTCSA
2008
IEEE
14 years 2 months ago
CREAM: A Generic Build-Time Component Framework for Distributed Embedded Systems
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
Chetan Raj, Jiyong Park, Jungkeun Park, Seongsoo H...