2255 search results - page 350 / 451 » High Assurance Software Systems |
279
click to vote
CG
2000
Springer
15 years 4 months ago
2000
Springer
Introductory computer graphics courses are changing their focus and learning environments. Improvements in hardware and software technology coupled with changes in preparation, in...
132
click to vote
EWC
2002
15 years 4 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
158
click to vote
PE
2007
Springer
15 years 4 months ago
2007
Springer
The next generation of software systems will be highly distributed, component-based and service-oriented. They will need to operate in unattended mode and possibly in hostile envi...
150
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
143
click to vote
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...