Sciweavers

69 search results - page 7 / 14
» A Unified Tool for Editing Information of Different Levels o...
Sort
View
CSMR
2005
IEEE
14 years 1 months ago
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
Raihan Al-Ekram, Kostas Kontogiannis
ECEASST
2010
13 years 2 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
IFIP12
2009
13 years 5 months ago
Managing Diagnosis Processes with Interactive Decompositions
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
Quang-Huy Giap, Stéphane Ploix, Jean-Marie ...
CAISE
2006
Springer
13 years 11 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
CJ
2002
122views more  CJ 2002»
13 years 7 months ago
Java for On-line Distributed Monitoring of Heterogeneous Systems and Services
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...