900 search results - page 48 / 180 » On the observational theory of the CPS-calculus |
132
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we address the problem of designing very high throughput finite state machines (FSMs). The presence of loops in sequential circuits prevents a straightforward and g...
165
click to vote
ISER
1995
Springer
15 years 9 months ago
1995
Springer
We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...
205
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
Distributed teams are increasingly common in today's workplace. For these teams, face-to-face meetings where members can most easily build trust are rare and often cost-prohi...
175
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
In the model of perfectly secure message transmission schemes (PSMTs), there are n channels between a sender and a receiver. An infinitely powerful adversary A may corrupt (observe...
162
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...