5675 search results - page 434 / 1135 » Formalising Performative Interaction |
195
click to vote
ISOLA
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
231
click to vote
ICDCS
2002
IEEE
16 years 18 days ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
210
click to vote
INFOCOM
2002
IEEE
16 years 17 days ago
2002
IEEE
— This paper presents an architecture and algorithms for optimizing the performance of web services. For a given service, session-based admission control is combined with stage-w...
172
click to vote
DATE
2000
IEEE
16 years 1 days ago
2000
IEEE
Dynamic power management saves power by shutting down idle devices. Several management algorithms have been proposed and demonstrated effective in certain applications. We quantit...
189
click to vote
UIST
1999
ACM
15 years 12 months ago
1999
ACM
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...