Sciweavers

6584 search results - page 882 / 1317
» Distributed Shared Contexts
Sort
View
SEFM
2009
IEEE
16 years 1 months ago
Implementation Correctness of a Real-Time Operating System
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
ISORC
2009
IEEE
16 years 1 months ago
Resource Scopes: Toward Language Support for Compositional Determinism
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
ICIRA
2009
Springer
200views Robotics» more  ICIRA 2009»
16 years 1 months ago
Classifying 3D Human Motions by Mixing Fuzzy Gaussian Inference with Genetic Programming
This paper combines the novel concept of Fuzzy Gaussian Inference(FGI) with Genetic Programming (GP) in order to accurately classify real natural 3d human Motion Capture data. FGI ...
Mehdi Khoury, Honghai Liu
CDC
2008
IEEE
16 years 1 months ago
On event-triggered and self-triggered control over sensor/actuator networks
— Event-triggered and self-triggered control have been recently proposed as an alternative to the more traditional periodic execution of control tasks. The possibility of reducin...
Manuel Mazo Jr., Paulo Tabuada
COLCOM
2008
IEEE
16 years 1 months ago
GroupBanter: Supporting Serendipitous Group Conversations with IM
This paper describes GroupBanter, a tool for supporting serendipitous group conversations using instant messaging. We investigate the potential of ephemeral group conversations by ...
Kori Inkpen, Steve Whittaker, Mary Czerwinski, Rol...