1024 search results - page 115 / 205 » Compositional Methods for Probabilistic Systems |
DAC
1999
ACM
14 years 6 days ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
CLEIEJ
2010
13 years 5 months ago
2010
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
IS
2007
13 years 7 months ago
2007
Collaboration increasingly takes place in virtual communities using the Internet. These communities are socio-technical systems that tend to evolve strongly and become more comple...
AVSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Most surveillance and monitoring systems nowadays utilize multiple types of sensors. However, due to the asynchrony among and diversity of sensors, information assimilation how to...
ACSD
2008
IEEE
13 years 10 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...