2357 search results - page 259 / 472 » Computing Refactorings of Behavior Models |
266
Voted
AMC
2011
14 years 7 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 ...
128
Voted
MOBIHOC
2007
ACM
16 years 3 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 ...
124
Voted
WISEC
2010
ACM
15 years 10 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...
154
Voted
EMSOFT
2009
Springer
15 years 10 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...
155
Voted
GI
2003
Springer
15 years 8 months 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...