Sciweavers

13618 search results - page 62 / 2724
» The Newton Operating System
Sort
View
160
Voted
FTRTFT
1998
Springer
15 years 9 months ago
Operational and Logical Semantics for Polling Real-Time Systems
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
Henning Dierks, Ansgar Fehnker, Angelika Mader, Fr...
170
Voted
ISSRE
2005
IEEE
15 years 10 months ago
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
Laya Madani, Catherine Oriat, Ioannis Parissis, Ju...
MOMPES
2009
IEEE
15 years 11 months ago
Reliable operating modes for distributed embedded systems
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten
ICMCS
1994
IEEE
147views Multimedia» more  ICMCS 1994»
15 years 9 months ago
Supporting Temporal Multimedia Operations in Object-Oriented Database Systems
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...
Karl Aberer, Wolfgang Klas
ICC
2009
IEEE
111views Communications» more  ICC 2009»
15 years 11 months ago
Supporting VCR-Like Operations in Derivative Tree-Based P2P Streaming Systems
— Supporting user interactivity in peer-to-peer streaming systems is challenging. VCR-like operations, such as random seek, pause, fast forward and rewind, require timely P2P ove...
Tianyin Xu, Jianzhong Chen, Wenzhong Li, Sanglu Lu...