Sciweavers

3192 search results - page 355 / 639
» A Requirements-Driven Development Methodology
Sort
View
DSVIS
2005
Springer
16 years 5 days ago
Goal-Oriented Design of Domain Control Panels
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
Christophe Ponsard, Nadiya Balych, Philippe Masson...
EPEW
2005
Springer
16 years 5 days ago
Choreographing Security and Performance Analysis for Web Services
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
Stephen Gilmore, Valentin Haenel, Leïla Kloul...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 5 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
FPL
2005
Springer
165views Hardware» more  FPL 2005»
16 years 5 days ago
DyNoC: A Dynamic Infrastructure for Communication in Dynamically Reconfigurable Devices
A new paradigm to support the communication among modules dynamically placed on a reconfigurable device at runtime is presented. Based on the network on chip (NoC) infrastructure...
Christophe Bobda, Ali Ahmadinia, Mateusz Majer, J&...
GECCO
2005
Springer
117views Optimization» more  GECCO 2005»
16 years 5 days ago
Evolutionary algorithms for medical simulations: a case study in minimally-invasive vascular interventions
To obtain the expertise to correctly perform minimally– invasive vascular interventions thorough training is required. Training using simulation systems are increasingly becomin...
Peter A. N. Bosman, Tanja Alderliesten