1757 search results - page 167 / 352 » Alternating Refinement Relations |
118
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Selectively canceling signals at specific locations within an acoustical environment with multiple listeners is of significant importance for home theater, teleconferencing, of...
115
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
115
Voted
CHI
2000
ACM
15 years 7 months ago
2000
ACM
Photographs play a central role in many types of informal storytelling. This paper describes an easy-to-use device that enables digital photos to be used in a manner similar to pr...
103
click to vote
RSP
1999
IEEE
15 years 7 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
128
click to vote
ICC
1997
IEEE
15 years 7 months ago
1997
IEEE
: In this paper, a multiservice, local-area, wireless access ATM system is explored from a signaling protocol viewpoint. The signaling architecture considered here follows the sign...