20066 search results - page 170 / 4014 » T Spaces |
151
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Burst-type signals constitute an important class of transient signals, being used especially in the investigation of various physical environments by electric or acoustic means. A...
112
click to vote
STOC
2002
ACM
16 years 5 months ago
2002
ACM
We investigate tradeoffs of various basic complexity measures such as size, space and width. We show examples of formulas that have optimal proofs with respect to any one of these...
169
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
In previous work [1], we introduced a distributed middleware infrastructure for managing physicallybounded, standalone pervasive computing environments, which we refer to as Activ...
109
click to vote
HICSS
2009
IEEE
15 years 11 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...
123
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...