2765 search results - page 90 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
173
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
169
click to vote
OPODIS
2004
15 years 7 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
164
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...
176
click to vote
DASFAA
2005
IEEE
16 years 1 days ago
2005
IEEE
: Semi-structured data has become more and more attention-getting with the emergence of XML, and it has aroused much enthusiasm for integrating XML and SQL in database community. D...
180
click to vote
CP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...