5200 search results - page 309 / 1040 » Symbolic models for control systems |
189
click to vote
PERVASIVE
2010
Springer
15 years 4 months ago
2010
Springer
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
194
Voted
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
171
click to vote
EDUTAINMENT
2006
Springer
15 years 9 months ago
2006
Springer
In interactive computer games and computer animation, intuitively controlling the motion of an articulated character is considered as a difficult task. One of the reasons is that, ...
170
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
145
Voted
IFM
1999
Springer
15 years 10 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...