6274 search results - page 724 / 1255 » Proofs, Programs, Processes |
220
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
184
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
165
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
191
click to vote
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
Advances in IC processing allow for more microprocessor design options. The increasing gate density and cost of wires in advanced integrated circuit technologies require that we l...
185
click to vote
IFIP
1997
Springer
15 years 11 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...