Sciweavers

2123 search results - page 13 / 425
» Composition of Cyber-Physical Systems
Sort
View
QEST
2010
IEEE
13 years 7 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
WSC
2007
13 years 12 months ago
Exploiting web service techniques for composing simulation models
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
Mathias Röhl, Florian Marquardt, Adelinde M. ...
APSEC
2006
IEEE
14 years 3 months ago
Security-Oriented Service Composition and Evolution
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
Jun Han, Khaled M. Khan
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
14 years 2 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
CL
2006
Springer
13 years 9 months ago
Tailorable language for behavioral composition and configuration of software components
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
Uwe Zdun