2468 search results - page 322 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
142
click to vote
COMCOM
2004
15 years 3 months ago
2004
The contemporary high-speed networks, e.g. the Internet and asynchronous transfer mode (ATM) networks provide a convenient and cost-effective communication platform to carry the e...
138
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a novel approach using Hidden Markov Models (HMM) to detect complex Internet attacks. These attacks consist of several steps that may occur over an extended pe...
139
Voted
TITS
2010
14 years 10 months ago
2010
The agent computing paradigm is rapidly emerging as one of the powerful technologies for the development of largescale distributed systems to deal with the uncertainty in a dynamic...
155
click to vote
OPODIS
2010
15 years 1 months ago
2010
The Earliest Deadline First (EDF) scheduling algorithm is known to be suboptimal for meeting all deadlines under global scheduling on multiprocessor platforms. However, EDF is an a...
160
click to vote
ICDCS
2002
IEEE
15 years 9 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...