12115 search results - page 150 / 2423 » Bisimulation of Dynamical Systems |
CCS
2009
ACM
14 years 10 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
ICCAD
2003
IEEE
14 years 7 months ago
2003
IEEE
Emerging VLSI technologies and platforms are giving rise to systems with inherently high potential for runtime failure. Such failures range from intermittent electrical and mechan...
SRDS
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we argue that the reliability of large-scale storage systems can be significantly improved by using better reliability metrics and more efficient policies for rec...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
The ability to interactively and seamlessly roam in the scenario while watching a video through IP network is an exciting visual experience. In this work, we implemented a 3D TV s...
PATMOS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...