5683 search results - page 397 / 1137 » Interactive Schedulability Analysis |
238
click to vote
WSNA
2003
ACM
16 years 26 days ago
2003
ACM
Wireless sensor networks consist of a large number of tiny sensors that have only limited energy supply. One of the major challenges in constructing such networks is to maintain l...
304
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
213
click to vote
DIMVA
2006
15 years 9 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
209
click to vote
ESCIENCE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present an initial analysis of job failures in a large-scale data-intensive Grid. Based on three representative periods in production, we characterize the interar...
223
click to vote
ACSAC
2002
IEEE
16 years 17 days ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...