1884 search results - page 222 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
123
click to vote
ECOOP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
103
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
134
click to vote
SIGMOD
1993
ACM
15 years 5 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
98
Voted
ICCHP
2010
Springer
2010
Springer
Automatic Live Monitoring of Communication Quality for Normal-Hearing and Hearing-Impaired Listeners
15 years 3 months ago
Abstract. This contribution presents a system, which allows for a continuous monitoring of speech intelligibility from a single microphone signal. The system accounts for the detri...
127
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...