Sciweavers

4636 search results - page 496 / 928
» Modelling and Validation with VipTool
Sort
View
COORDINATION
2010
Springer
15 years 10 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
Stephanie Kemper
AAAI
2007
15 years 9 months ago
Reasoning about Attribute Authenticity in a Web Environment
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...
Thomas Wölfl
WSC
2008
15 years 9 months ago
A plug-in-based architecture for random number generation in simulation systems
Simulations often depend heavily on random numbers, yet the impact of random number generators is recognized seldom. The generation of random numbers for simulations is not trivia...
Roland Ewald, Johannes Rossel, Jan Himmelspach, Ad...
WSC
2008
15 years 9 months ago
Optimized maintenance design for manufacturing performance improvement using simulation
This research presents optimized maintenance design using simulation to analyze the capability of auto part manufacturing production system. The integration of simulation and opti...
Ahad Ali, Xiaohui Chen, Ziming Yang, Jay Lee, Jun ...
MKWI
2008
120views Business» more  MKWI 2008»
15 years 8 months ago
Pricing of Software Product Lines
: This paper examines possibilities and consequences of introducing variability with respect to pricing, accounting, and way of payment into software product lines for developers, ...
Denis Sewerjuk