Sciweavers

1251 search results - page 207 / 251
» A Method for Component-Based Software and System Development
Sort
View
CIKM
2007
Springer
15 years 8 months ago
Ontology evaluation using wikipedia categories for browsing
Ontology evaluation is a maturing discipline with methodologies and measures being developed and proposed. However, evaluation methods that have been proposed have not been applie...
Jonathan Yu, James A. Thom, Audrey M. Tam
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 8 months 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...
GCC
2005
Springer
15 years 8 months ago
Research on Semantic-Based Web Services Registry Federation
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu
SIGUCCS
2003
ACM
15 years 7 months ago
Ready, connect, learn: preparing students for campus technology
This paper documents the progression through 4 methods of orienting incoming students in the use of Syracuse University’s computer systems. It discuses design issues involving: ...
Gerri McCarthy
TOOLS
1999
IEEE
15 years 6 months ago
Constraint Diagrams: A Step Beyond UML
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
Joseph Gil, John Howse, Stuart Kent