151 search results - page 13 / 31 » Automating System Tests Using Declarative Virtual Machines |
ICSE
1998
IEEE-ACM
15 years 1 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
NCA
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
CIKM
2010
Springer
14 years 7 months ago
2010
Springer
Cloud security issues have recently gained traction in the research community, with much of the focus primarily concentrated on securing the operating systems and virtual machines...
APIN
2002
14 years 9 months ago
2002
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
84
Voted
AROBOTS
2002
14 years 9 months ago
2002
Tractors are the workhorses of the modern farm. By automating these machines, we can increase the productivity, improve safety, and reduce costs for many agricultural operations. ...