2482 search results - page 481 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
168
click to vote
DFG
2009
Springer
16 years 12 days ago
2009
Springer
s of the work of our research group are given in the following poster of the final meeting. Network Coding Network Coding has emerged as a new paradigm that has influenced Inform...
157
click to vote
SEMWEB
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. Currently a large number of Web sites are driven by Content Management Systems (CMS) which manage textual and multimedia content but also inherently - carry valuable info...
174
click to vote
CSL
2007
Springer
16 years 16 hour ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
162
click to vote
ACMMSP
2005
ACM
15 years 11 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
149
click to vote
WOWMOM
2005
ACM
15 years 11 months ago
2005
ACM
We consider the energy consumed in radio transmission of a set of sensors forming a data gathering wireless network. Our objective is to enhance the lifetime of such networks by e...