Sciweavers

1119 search results - page 29 / 224
» A Flexible Framework for SharedPlans
Sort
View
ICIP
2009
IEEE
13 years 6 months ago
Reconfigurable video coding: Objectives and technologies
The main objective of the MPEG Reconfigurable Video Coding (RVC) standard is to establish a framework for a more flexible usage of standard video coding technology. The framework ...
Christophe Lucarz, Ihab Amer, Marco Mattavelli
ICSEA
2009
IEEE
13 years 6 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
13 years 6 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne
COMPLEX
2009
Springer
14 years 3 months ago
Designing Capital-Intensive Systems with Architectural and Operational Flexibility Using a Screening Model
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
Jijun Lin, Olivier de Weck, Richard de Neufville, ...
NCA
2006
IEEE
14 years 2 months ago
A Multipolicy Authorization Framework for Grid Security
A Grid system is a Virtual Organization that is composed of several autonomous domains. Authorization in such a system needs to be flexible and scalable to support multiple securi...
Bo Lang, Ian T. Foster, Frank Siebenlist, Rachana ...