3667 search results - page 646 / 734 » Software Rejuvenation - Modeling and Analysis |
MM
1994
ACM
14 years 26 days ago
1994
ACM
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...
CADE
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
CCS
2009
ACM
14 years 23 days ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
DAC
2007
ACM
14 years 22 days ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
EDUTAINMENT
2007
Springer
14 years 21 days ago
2007
Springer
In this paper, we present a virtual learning environment which supports the learning process of long term sick children. By focusing on 3D Virtual Environments technology chronical...