1017 search results - page 31 / 204 » On the Power of k -Consistency |
ICSE
2008
IEEE-ACM
16 years 21 days ago
2008
IEEE-ACM
Many software engineering projects use open source software tools or components. The project team's active participation in the open source community may be necessary for the...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, we present a model to analyze the performance of wireless ad hoc networks with smart antennas, i.e. directional antennas with adjustable transmission power. Our r...
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
ITICSE
2000
ACM
15 years 4 months ago
2000
ACM
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
114
click to vote
TWC
2008
14 years 11 months ago
2008
Cooperative diversity systems rely on using relay nodes to relay copies of transmitted information to the destination such that each copy experiences different channel fading, henc...