Sciweavers

5904 search results - page 192 / 1181
» Requirements for a Composition Language
Sort
View
ISORC
2009
IEEE
15 years 10 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
158
Voted
QEST
2006
IEEE
15 years 10 months ago
Compositional Performability Evaluation for STATEMATE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
Eckard Böde, Marc Herbstritt, Holger Hermanns...
143
Voted
ISORC
2005
IEEE
15 years 9 months ago
A GTRBAC Based System for Dynamic Workflow Composition and Management
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...
Basit Shafiq, Arjmand Samuel, Halima Ghafoor
KBSE
2005
IEEE
15 years 9 months ago
QoS-aware dynamic service composition in ambient intelligence environments
Due to the large success of wireless networks and handheld devices, the ambient intelligence (AmI) paradigm is becoming a reality. One of the most challenging objectives to achiev...
Sonia Ben Mokhtar, Jinshan Liu, Nikolaos Georganta...
114
Voted
GRAPHITE
2005
ACM
15 years 9 months ago
Compositing color with texture for multi-variate visualization
Multivariate data visualization requires the development of effective techniques for simultaneously conveying multiple different data distributions over a common domain. Although ...
Haleh Hagh-Shenas, Victoria Interrante