Sciweavers

3819 search results - page 447 / 764
» An Outsourcing Model of Software Development
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 11 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...
WSC
2007
15 years 9 months ago
A toolbox for simulation-based optimization of supply chains
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...
Christian Almeder, Margaretha Preusser
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
ISORC
2008
IEEE
16 years 1 months ago
QoS Aware Dependable Distributed Stream Processing
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
Vana Kalogeraki, Dimitrios Gunopulos, Ravi S. Sand...
ISPDC
2003
IEEE
16 years 4 days ago
A Java Middleware Platform for Resource-Aware Distributed Applications
This paper reports the development of D-RAJE (Distributed Resource-Aware Java Environment), a Java-based middleware platform that makes it possible to model and to monitor resourc...
Frédéric Guidec, Yves Mahéo, ...