1413 search results - page 68 / 283 » Bisimilarity of Open Terms |
158
Voted
DAC
2006
ACM
16 years 7 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...
133
click to vote
HICSS
2009
IEEE
16 years 28 days 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...
138
click to vote
CDC
2008
IEEE
16 years 18 days 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...
167
click to vote
MKM
2007
Springer
16 years 8 days 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...
111
Voted
IAT
2006
IEEE
16 years 5 days 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-...