Sciweavers

3911 search results - page 310 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
LISA
2000
15 years 8 months ago
Aberrant Behavior Detection in Time Series for Network Monitoring
The open-source software RRDtool and Cricket provide a solution to the problem of collecting, storing, and visualizing service network time series data for the real-time monitorin...
Jake D. Brutlag
ER
2009
Springer
316views Database» more  ER 2009»
15 years 10 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
MODELS
2009
Springer
16 years 1 months ago
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
Manuel Wimmer, Angelika Kusel, Johannes Schön...
COLCOM
2008
IEEE
15 years 8 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
ISSS
1998
IEEE
107views Hardware» more  ISSS 1998»
15 years 11 months ago
Integrating Communication Protocol Selection with Partitioning in Hardware/Software Codesign
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
Peter Voigt Knudsen, Jan Madsen