Sciweavers

5433 search results - page 413 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
KCAP
2005
ACM
16 years 10 days ago
Collaborative knowledge capture in ontologies
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
Patrick J. Hayes, Thomas C. Eskridge, Raul Saavedr...
ERCIMDL
2005
Springer
207views Education» more  ERCIMDL 2005»
16 years 9 days ago
DAR: A Digital Assets Repository for Library Collections
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...
Iman Saleh, Noha Adly, Magdy Nagi
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 9 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
NPC
2005
Springer
16 years 8 days ago
Globus Toolkit Version 4: Software for Service-Oriented Systems
The Globus Toolkit (GT) has been developed since the late 1990s to support the development of service-oriented distributed computing applications and infrastructures. Core GT compo...
Ian T. Foster
UML
2005
Springer
16 years 7 days ago
Automated Analysis of Natural Language Properties for UML Models
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
Sascha Konrad, Betty H. C. Cheng