12745 search results - page 61 / 2549 » Automating test automation |
ACE
2004
15 years 1 months ago
2004
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
111
click to vote
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Cloud computing is a computing paradigm which allows access of computing elements and storages on-demand over the Internet. Virtual Appliances, pre-configured, readyto-run applicat...
BMCBI
2007
14 years 12 months ago
2007
Background: The Immune Epitope Database contains information on immune epitopes curated manually from the scientific literature. Like similar projects in other knowledge domains, ...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
101
click to vote
BELL
2000
14 years 11 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...