5376 search results - page 734 / 1076 » Scalable Kernel Systems |
203
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
185
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
The increasing complexity of system-on-chip (SOC) integrated circuits has spurred the development of versatile automatic test equipment (ATE) that can simultaneously drive differe...
168
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes two self-optimisation techniques that have been employed in the design of two exemplar agent-based mobile computing systems, namely Gullivers Genie and the Ag...
163
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Hierarchical systems have been widely used to provide scalable distributed services in the Internet. Unfortunately, such a service hierarchy is vulnerable to DoS attacks. This pap...
169
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The frameworks for protecting security and privacy can be effective only if common users--with no training in computer science or logic--increase their awareness and cont...