4353 search results - page 671 / 871 » Expressiveness of Process Algebras |
155
click to vote
CHI
2010
ACM
16 years 14 days ago
2010
ACM
Interaction designers typically revise user interface prototypes by adding unstructured notes to storyboards and screen printouts. How might computational tools increase the effic...
183
click to vote
PAM
2010
Springer
16 years 13 days ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...
157
click to vote
ESOP
2009
Springer
16 years 12 days ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
168
click to vote
WOLLIC
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
174
click to vote
CISS
2007
IEEE
15 years 12 months ago
2007
IEEE
— We study the case of a single transmitter, which communicates to two co-located users, through an independent block Rayleigh fading channel. The co-location nature of the users...