Sciweavers

27 search results - page 3 / 6
» ecbs 2007
Sort
View
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
13 years 11 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...
ECBS
2007
IEEE
85views Hardware» more  ECBS 2007»
13 years 11 months ago
A Hybrid View in a Laparoscopic Surgery Training System
In this paper, a hybrid view application is proposed — a subsystem of a computerized laparoscopic surgery training system. To minimize the potential hazards of laparoscopic surg...
Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
13 years 9 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
ECBS
2007
IEEE
149views Hardware» more  ECBS 2007»
13 years 11 months ago
Component-Based System Integration via (Meta)Model Composition
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
Krishnakumar Balasubramanian, Douglas C. Schmidt, ...
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
13 years 11 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale