14360 search results - page 2403 / 2872 » Time Modeling in MARTE |
163
click to vote
LPNMR
2005
Springer
16 years 11 days ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
200
click to vote
MDM
2005
Springer
16 years 11 days ago
2005
Springer
Wireless broadcast is very suitable for delivering information to a large user population. In this paper, we concentrate on data allocation methods for multiple broadcast channels...
223
click to vote
MIDDLEWARE
2005
Springer
16 years 11 days ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
206
click to vote
NOSSDAV
2005
Springer
16 years 11 days ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
171
click to vote
PATMOS
2005
Springer
16 years 11 days ago
2005
Springer
The time taken for a CMOS logic gate output to change after one or more inputs have changed is called the output delay of the gate. A conventional multi-input CMOS gate is designed...