16702 search results - page 449 / 3341 » Server operating systems |
197
click to vote
SERVICES
2008
15 years 8 months ago
2008
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...
194
click to vote
IAT
2005
IEEE
16 years 14 days ago
2005
IEEE
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
151
Voted
UIST
1998
ACM
15 years 11 months ago
1998
ACM
We propose a new pen-based text input method, which is an integration of software keyboards, handwriting recognition, and marking menus. With our method, a user selects a word fro...
170
click to vote
MVA
2007
15 years 8 months ago
2007
Iris image quality assessment is an important part of iris recognition system because the qualities of iris images would largely influence the recognition results. In this paper, ...
187
Voted
ENTCS
2008
15 years 7 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...