6054 search results - page 1011 / 1211 » Implementation of Andorra-based Languages |
115
click to vote
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
121
click to vote
LAWEB
2003
IEEE
15 years 6 months ago
2003
IEEE
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
132
click to vote
HT
2003
ACM
15 years 6 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
108
click to vote
PADS
2003
ACM
15 years 6 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
112
click to vote
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...