Sciweavers

1059 search results - page 112 / 212
» Time-triggered implementations of dynamic controllers
Sort
View
108
Voted
TCS
2010
15 years 29 days ago
Arrows for secure information flow
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Peng Li, Steve Zdancewic
135
Voted
IEEEICCI
2008
IEEE
15 years 9 months ago
The computational manifold approach to consciousness and symbolic processing in the cerebral cortex
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
Douglas S. Greer
ICAS
2005
IEEE
87views Robotics» more  ICAS 2005»
15 years 8 months ago
RTnet: a distributed real-time protocol for broadcast-capable networks
RTnet is a distributed real-time network protocol, to be used on fully-connected local area networks with a broadcast capability. It supports on-the-fly addition and removal of n...
Ferdy Hanssen, Pierre G. Jansen, Hans Scholten, Sa...
116
Voted
EUROPAR
2004
Springer
15 years 8 months ago
Agreement-Based Interactions for Experimental Science
Enabling quality of service (QoS) in the Grids requires not only resource management strategies but also the development of protocols enabling structured negotiation for the use of...
Katarzyna Keahey, Takuya Araki, Peter Lane
ICMCS
2000
IEEE
94views Multimedia» more  ICMCS 2000»
15 years 7 months ago
A Live Video Imaging Method for Capturing Presentation Information in Distance Learning
We propose a new approach of video imaging method suitable to support distance learning. Automatic active camera control and video selection system visualizes presentation informa...
Yoshinari Kameda, Kentaro Ishizuka, Michihiko Mino...