3809 search results - page 387 / 762 » Associative language descriptions |
217
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes PATSy, an established interactive case-based system that provides students with access to virtual patients. PATSy has recently been extended by the addition o...
131
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
187
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The Bitstream Binding Language (BBL) is a new technology developed by the authors and being standardized by MPEG, which describes how multimedia content and metadata can be mapped...
209
click to vote
EDOC
2005
IEEE
16 years 1 months ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
188
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...