7311 search results - page 354 / 1463 » Time in State Machines |
143
click to vote
SIGMOD
1987
ACM
15 years 11 months ago
1987
ACM
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...
209
click to vote
CSFW
2008
IEEE
16 years 2 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
209
Voted
ARTS
1999
Springer
15 years 12 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
214
Voted
WWW
2009
ACM
16 years 8 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
226
Voted
XIMEP
2004
ACM
16 years 1 months ago
2004
ACM
Most current XQuery implementations require that all XML data reside in memory in one form or another before they start processing the data. This is unacceptable for large XML doc...