3825 search results - page 419 / 765 » The Language of Time: A Reader |
190
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
Ontologies will play a pivotal rˆole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applicatio...
135
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Decidability of non-structural subtype entailment is a long standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize...
178
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
159
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...
175
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...