1788 search results - page 73 / 358 » Model Theory for Process Algebra |
157
Voted
DISCO
1993
15 years 4 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
227
click to vote
AMC
2011
14 years 4 months ago
2011
The present paper studies the probability of ruin of an insurer, if excess of loss reinsurance with reinstatements is applied. In the setting of the classical CramerLundberg risk ...
88
Voted
AAMAS
2010
Springer
15 years 24 days ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
108
Voted
WOWMOM
2006
ACM
15 years 6 months ago
2006
ACM
Motivated by recent surfacing viruses that can spread over the air interfaces, in this paper, we investigate the potential disastrous threat of node compromise spreading in wirele...
96
Voted
WCE
2007
15 years 1 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...