Sciweavers

2655 search results - page 125 / 531
» Event Systems and Access Control
Sort
View
EMSOFT
2008
Springer
15 years 6 months ago
Wireless channel access reservation for embedded real-time systems
Reservation-based channel access has been shown to be effective in providing Quality of Service (QoS) guarantees (e.g., timeliness) in wireless embedded real-time applications suc...
Dinesh Rajan, Christian Poellabauer, Xiaobo Sharon...
105
Voted
SAINT
2005
IEEE
15 years 10 months ago
A User-Oriented Presence Synthesizing System for Facilitating On-Line Communication
This paper shows a user-oriented presence synthesizing system, where a user can control not only what she publishes to each buddy but what she sees by synthesizing her buddies’ ...
Masato Kawada, Nodoka Mimura, Hiroyuki Morikawa, T...
149
Voted
DATE
2005
IEEE
171views Hardware» more  DATE 2005»
15 years 10 months ago
Access Pattern-Based Code Compression for Memory-Constrained Embedded Systems
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...
Ozcan Ozturk, Hendra Saputra, Mahmut T. Kandemir, ...
151
Voted
MAM
2008
138views more  MAM 2008»
15 years 4 months ago
FPGA based tester tool for hybrid real-time systems
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
Jan Krakora, Zdenek Hanzálek
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
15 years 2 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne