6308 search results - page 949 / 1262 » Modeling Urgency in Timed Systems |
198
click to vote
ATVA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
201
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
181
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
202
click to vote
CODES
2006
IEEE
16 years 24 days ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
163
click to vote
LCN
2006
IEEE
16 years 23 days ago
2006
IEEE
A collision resolution scheme is essential to the performance of a random-access wireless network. Most schemes employ exponential backoff (EB) to adjust the transmission attempt ...