3809 search results - page 616 / 762 » Associative language descriptions |
212
Voted
PPSWR
2005
Springer
16 years 13 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
155
Voted
SAMOS
2005
Springer
16 years 13 days ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
178
click to vote
SEMWEB
2005
Springer
16 years 13 days ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
193
click to vote
ACMACE
2004
ACM
16 years 12 days ago
2004
ACM
Entertainment systems promise to be a significant application for Mixed Reality. Recently, a growing number of Mixed Reality applications have included interaction with virtual ac...
162
click to vote
AMAI
2004
Springer
16 years 11 days ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...