3831 search results - page 549 / 767 » Dynamic Context Logic |
119
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
224
click to vote
VLDB
2004
ACM
16 years 4 months ago
2004
ACM
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
211
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
The emergence of large-scale receptor-based systems has enabled applications to execute complex business logic over data generated from monitoring the physical world. An important...
127
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
While the importance of multi-tier architectures for enterprise information systems is widely accepted and their benefits are well published, the systematic migration from monolit...
122
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...