762 search results - page 88 / 153 » How to realize |
162
click to vote
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
As software is more and more interweaving with our everyday life, designing software in a way that it reflects and respects the user and her emotional physical conditions, cogniti...
116
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
We examine issues in the design of fully dynamic information retrieval systems with support for instantaneous document insertions and deletions. We present one such system and dis...
174
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents the detailed design and performance analysis of MACA-P, a RTS/CTS based MAC protocol, that enables simultaneous transmissions in wireless mesh networks. The IE...
166
click to vote
ICDCSW
2009
IEEE
15 years 10 months ago
2009
IEEE
Contemporary computing infrastructure, such as networking stacks, OS and middleware, are made up of layers of software functionality that have evolved over decades to support the ...
158
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...