9581 search results - page 1386 / 1917 » On Ubiquitous Integrated Computing |
190
click to vote
SC
2005
ACM
16 years 23 days ago
2005
ACM
Managing usage service level agreements (USLAs) within environments that integrate participants and resources spanning multiple physical institutions is a challenging problem. Mai...
205
click to vote
SLIP
2005
ACM
16 years 23 days ago
2005
ACM
The interconnection architecture of FPGAs such as switches dominates performance of FPGAs. Three-dimensional integration of FPGAs overcomes interconnect limitations by allowing in...
186
click to vote
BIRTHDAY
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
189
click to vote
CASC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
214
click to vote
CASSIS
2005
Springer
16 years 22 days ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...