Sciweavers

2184 search results - page 86 / 437
» Modeling and Realizing Interoperability
Sort
View
COLING
2002
15 years 2 months ago
Linking Syntactic and Semantic Arguments in a Dependency-based Formalism
We propose a formal characterization of variation in the syntactic realization of semantic arguments, using hierarchies of syntactic relations and thematic roles, and a mechanism ...
Christian Korthals, Ralph Debusmann
129
Voted
CSCWD
2001
Springer
15 years 6 months ago
Update Algorithms for the Sketch Data Model
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
Michael Johnson, Robert D. Rosebrugh
126
Voted
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 7 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...
108
Voted
WSC
2008
15 years 4 months ago
Knowledge representation and the dimensions of a multi-model relationship
The exchange of data between different models in a multisimulation environment is about the exchange of information from within the context of two separate worldviews. This amount...
Charles D. Turnitsa, Andreas Tolk
125
Voted
ACSW
2007
15 years 3 months ago
The Semantic Reef: Managing Complex Knowledge to Predict Coral Bleaching on the Great Barrier Reef
A semantically driven Virtual Organisation (VO) model for predicting important events for coral reefs is presented – the Semantic Reef. The model is an application of a Semantic...
Trina S. Myers, Ian M. Atkinson, William J. Lavery