8337 search results - page 237 / 1668 » Reasoning With Characteristic Models |
171
click to vote
DASC
2006
IEEE
16 years 5 days ago
2006
IEEE
Blade severs are being increasingly deployed in modern datacenters due to their high performance/cost ratio and compact size. In this study, we document our work on blade server b...
157
click to vote
IPCCC
2006
IEEE
16 years 4 days ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
163
click to vote
SEFM
2006
IEEE
16 years 3 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
162
click to vote
ESA
2005
Springer
15 years 11 months ago
2005
Springer
Histograms are used in many ways in conventional databases and in data stream processing for summarizing massive data distributions. Previous work on constructing histograms on da...
168
click to vote
NETGAMES
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we present an approach to provide Quality of Service (QoS) for networked mobile gaming. In order to examine the QoS requirements of mobile games, we ported a simple...