2357 search results - page 259 / 472 » Computing Refactorings of Behavior Models |
352
Voted
AMC
2011
14 years 10 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 ...
182
Voted
MOBIHOC
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we study the capacity of wireless ad hoc networks with infrastructure support of an overlay of wired base stations. Such a network architecture is often referred to ...
185
Voted
WISEC
2010
ACM
16 years 1 months ago
2010
ACM
Computing environments on cellphones, especially smartphones, are becoming more open and general-purpose, thus they also become attractive targets of malware. Cellphone malware no...
208
Voted
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
224
click to vote
GI
2003
Springer
16 years 6 days ago
2003
Springer
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...