Sciweavers

2607 search results - page 344 / 522
» On the Architecture of System Verification Environments
Sort
View
DAC
1997
ACM
15 years 10 months ago
Modeling Design Tasks and Tools: The Link Between Product and Flow Model
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
Bernd Schürmann, Joachim Altmeyer
ICAC
2009
IEEE
15 years 10 months ago
A decentralized, architecture-based framework for self-growing applications
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
Ada Diaconescu, Philippe Lalanda
VAMOS
2008
Springer
15 years 8 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
ICWS
2004
IEEE
15 years 8 months ago
Wireless Reliable Messaging Protocol for Web Services (WS-WRM)
By employing Web services technology, the Grid system is evolving to be more manageable service infrastructure, including lifetime management, discovery of characteristics, and no...
Sangmi Lee, Geoffrey Fox
RIAO
2000
15 years 8 months ago
Utilizing Multimedia Technologies for Interactive Telesonography
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...
Taly Sharon, Ariel J. Frank