1413 search results - page 68 / 283 » Bisimilarity of Open Terms |
102
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
78
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Music collectivities have been changed by the use of digital technologies in terms of more flexibility among participants. This claim is so w...
88
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— The purpose of this paper is to discuss how Willems’ behavioral modeling might be applied to physical systems governed by the laws of quantum physics. A quantum behavior is s...
118
click to vote
MKM
2007
Springer
15 years 7 months ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
This is an investigation into the feasibility of agentprovided assistance for two specific situations, (1) when a previously-interrupted task is resumed, offer to open previously-...