1446 search results - page 277 / 290 » Formal analysis of hardware requirements |
178
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
156
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
164
click to vote
CORR
2011
Springer
15 years 21 days ago
2011
Springer
d Abstract) Sara Ahmadian∗ Chaitanya Swamy∗ We consider the lower-bounded facility location (LBFL) problem (also sometimes called load-balanced facility location), which is a ...
177
click to vote
TASE
2010
IEEE
15 years 13 days ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
273
click to vote
ICDE
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...