4690 search results - page 99 / 938 » An operational semantics for Scheme |
194
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
1The classic Dynamic Source Routing (DSR) protocol opts for the route requiring the lowest number of hops for transmitting data from the source to the destination. However, owing t...
185
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
182
click to vote
IANDC
2006
15 years 6 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
199
click to vote
ELP
1991
15 years 10 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
164
click to vote
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
: The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel compute...