2954 search results - page 141 / 591 » Beyond |
126
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
149
Voted
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
It is becoming increasingly clear that we are entering a new era in systems software. As the age-old tension between structure and performance acquiesces, we can finally venture b...
145
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...
147
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
194
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of...