557 search results - page 23 / 112 » The L4.verified Project - Next Steps |
IADIS
2004
13 years 10 months ago
2004
An event is a short and data-rich document and it refers to an instance of an announcement type such as "wedding", "birth", "graduation", "aucti...
AIPS
2003
13 years 10 months ago
2003
We examine the issues that arise in extending an estimatedregression (ER) planner to reason about autonomous processes that run and have continuous and discrete effects without th...
CASCON
1996
13 years 10 months ago
1996
A large portion of the software used in industry today is legacy software. Legacy systems often evolve into dicult to maintain systems whose original design has been lost or else ...
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
Augmented Virtual Environments(AVE) are very effective in the application of surveillance, in which multiple video streams are projected onto a 3D urban model for better visualiza...
BMCBI
2010
13 years 8 months ago
2010
Background: With the rapid expansion of DNA sequencing databases, it is now feasible to identify relevant information from prior sequencing projects and completed genomes and appl...