557 search results - page 62 / 112 » The L4.verified Project - Next Steps |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
Legacy systems are often large and difficult to maintain, but rewriting them from scratch is usually not a viable option. Reenginering remains the only way to modernize them. We ...
BTW
2007
Springer
14 years 1 months ago
2007
Springer
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
AVSS
2005
IEEE
14 years 1 months ago
2005
IEEE
In video surveillance projects, automatic and realtime event detection solutions are required to guarantee an efficient and cost-effective use of the infrastructure. Many solution...