6819 search results - page 50 / 1364 » Process Reuse Architecture |
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
IJKL
2007
13 years 9 months ago
2007
: Online meetings are increasingly popular in support of technology-enhanced learning collaboration. When these virtual meetings are recorded and shared in the host community and b...
SERP
2003
13 years 11 months ago
2003
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
JSS
2006
13 years 10 months ago
2006
The last decade marked the first real attempt to turn software development into engineering through the concepts of ComponentBased Software Development (CBSD) and Commercial Off-T...
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper gives an overview on a Virtual electronic component or IP (Intellectual Property) exchange infrastructure whose main components are a XML "well structured IP e-cat...