3653 search results - page 384 / 731 » On Recognizable Timed Languages |
158
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
171
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
150
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
193
click to vote
STOC
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
155
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...