883 search results - page 96 / 177 » The RETOS operating system: kernel, tools and applications |
214
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
235
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
176
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
211
click to vote
SDL
2007
15 years 7 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
179
click to vote
JVA
2006
IEEE
16 years 6 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...