Sciweavers

826 search results - page 105 / 166
» A Pragmatic Approach to Formalizing Object-Oriented Modeling...
Sort
View
ER
2005
Springer
126views Database» more  ER 2005»
14 years 1 months ago
Managing Information Quality in e-Science: A Case Study in Proteomics
We describe a new approach to managing information quality (IQ) in an e-Science context, by allowing scientists to define the quality characteristics that are of importance in the...
Paolo Missier, Alun D. Preece, Suzanne M. Embury, ...
WOSP
2004
ACM
14 years 1 months ago
Analysing UML 2.0 activity diagrams in the software performance engineering process
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
C. Canevet, Stephen Gilmore, Jane Hillston, Le&ium...
ICCS
2003
Springer
14 years 1 months ago
Representing Time and Modality in Narratives with Conceptual Graphs
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
Henrik Schärfe, Peter Øhrstrøm
CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 6 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
HYBRID
2001
Springer
14 years 18 days ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic