KnowledgeManagementrepresents a crucial componentof corporations' efforts to gain competitiveadvantagefrom targeted re-use of knowledgeassets. Companiesthat provide consultin...
Vipul Kashyap, Siddhartha R. Dalal, Clifford Behre...
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
We present SOBOLEO, a system for the webbased collaborative engineering of SKOS ontologies and annotation of web resources. SOBOLEO enables the simple creation, extension and main...
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....