Sciweavers

5904 search results - page 192 / 1181
» Requirements for a Composition Language
Sort
View
192
Voted
ISORC
2009
IEEE
16 years 1 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
218
Voted
QEST
2006
IEEE
16 years 1 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...
189
Voted
ISORC
2005
IEEE
16 years 18 days 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
16 years 18 days 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...
GRAPHITE
2005
ACM
16 years 18 days 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