5777 search results - page 394 / 1156 » The palladio component model |
192
click to vote
PAKDD
2004
ACM
16 years 29 days ago
2004
ACM
This paper presents a new prediction model for predicting when an online customer leaves a current page and which next Web page the customer will visit. The model can forecast the ...
194
click to vote
DATE
2000
IEEE
16 years 1 days ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
205
click to vote
HASE
1999
IEEE
15 years 12 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
242
click to vote
SPIN
1999
Springer
15 years 12 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
177
click to vote
HASE
1997
IEEE
15 years 12 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...