2642 search results - page 67 / 529 » Merge-by-Wire: Algorithms and System Support |
103
click to vote
WETICE
2005
IEEE
15 years 7 months ago
2005
IEEE
The globalization of businesses and the cooperation between organizations have brought on an ever increased need for providing support for distributed collaborations. In this pape...
115
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
—We propose a new adaptive admission control scheme for multiuser OFDMA systems to allocate wireless resource with low complexity. In this adaptive admission control scheme, the ...
130
click to vote
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
129
click to vote
ICSOC
2009
Springer
14 years 11 months ago
2009
Springer
With increasingly complex and heterogeneous systems in pervasive service computing, it becomes more and more important to provide self-protected services to end users. In order to ...
COLING
2010
14 years 8 months ago
2010
The Varro toolkit is a system for identifying and counting a major class of regularity in treebanks and annotated natural language data in the form of treestructures: frequently r...