567 search results - page 28 / 114 » Play the Language: Play Coreference |
126
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
125
click to vote
PODS
2006
ACM
16 years 4 months ago
2006
ACM
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
174
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
151
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...