7651 search results - page 1271 / 1531 » Information integration in the enterprise |
CP
2005
Springer
15 years 7 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
108
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
102
click to vote
EDO
2005
Springer
15 years 7 months ago
2005
Springer
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...
101
click to vote
EGOV
2005
Springer
15 years 7 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
115
click to vote
ER
2005
Springer
15 years 7 months ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...