542 search results - page 42 / 109 » An Integrated Systems Approach to Explanation-Based Conceptu... |
ER
2007
Springer
15 years 6 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
KIVS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...
102
click to vote
JAR
1998
14 years 11 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
114
click to vote
ER
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...