2722 search results - page 491 / 545 » Automating Language Evolution |
158
click to vote
ISADS
2003
IEEE
15 years 8 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
133
click to vote
ITC
2003
IEEE
15 years 8 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...
132
click to vote
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
129
click to vote
WISE
2003
Springer
15 years 8 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
138
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...