4666 search results - page 715 / 934 » Equations on Timed Languages |
136
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
134
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
141
Voted
CHI
2005
ACM
16 years 5 months ago
2005
ACM
We present Breakaway, an ambient display that encourages people, whose job requires them to sit for long periods of time, to take breaks more frequently. Breakaway uses the inform...
132
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
139
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
We are presenting a framework for continuous querying of time-varying streamed XML data. A continuous stream in our framework consists of a finite XML document followed by a conti...