722 search results - page 138 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
DAC
2002
ACM
16 years 2 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
135
click to vote
DEBU
2008
15 years 1 months ago
2008
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches con...
135
click to vote
LCTRTS
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
130
click to vote
AISADM
2005
Springer
15 years 6 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
107
click to vote
TROB
2002
15 years 27 days ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...