Sciweavers

813 search results - page 160 / 163
» Pipeline-centric provenance model
Sort
View
VLDB
2002
ACM
120views Database» more  VLDB 2002»
13 years 7 months ago
Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services
The J2EE platform provides a variety of options for making business data persistent using DBMS technology. However, the integration with existing backend database systems has prov...
Samuel Kounev, Alejandro P. Buchmann
CORR
2008
Springer
142views Education» more  CORR 2008»
13 years 7 months ago
The Impact of QoS Constraints on the Energy Efficiency of Fixed-Rate Wireless Transmissions
Transmission over wireless fading channels under quality of service (QoS) constraints is studied when only the receiver has channel side information. Being unaware of the channel c...
Deli Qiao, Mustafa Cenk Gursoy, Senem Velipasalar
IGPL
2008
124views more  IGPL 2008»
13 years 7 months ago
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Igor Carboni Oliveira, Walter Alexandre Carnielli
CORR
2010
Springer
219views Education» more  CORR 2010»
13 years 6 months ago
Cooperative Algorithms for MIMO Interference Channels
Interference alignment is a transmission technique for exploiting all available degrees of freedom in the symmetric frequency- or time-selective interference channel with an arbit...
Steven W. Peters, Robert W. Heath Jr.
DLOG
2010
13 years 5 months ago
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
Jocelyne Faddoul, Volker Haarslev