9145 search results - page 1540 / 1829 » Description Logic Systems |
126
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
127
click to vote
ASE
2006
15 years 4 months ago
2006
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
137
click to vote
CAD
2006
Springer
15 years 4 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
157
click to vote
DEBU
2006
15 years 4 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
120
click to vote
ENTCS
2006
15 years 4 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...