83 search results - page 3 / 17 » se 2010 |
CACM
2010
13 years 11 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
SE
2010
14 years 9 days ago
2010
Abstract: Plug-in frameworks support the development of component-based software that is extensible and customizable to the needs of specific users. However, most current framework...
SE
2010
14 years 9 days ago
2010
: Enterprise architecture (EA) management is one of the major challenges of modern enterprises. It aims at aligning business and IT in order to optimize their interaction. Experts ...
PDP
2010
IEEE
14 years 4 months ago
2010
IEEE
—Data security is one of the major challenges that prevents the wider acceptance of mobile devices, especially within business and government environments. It is non-trivial to p...
APSCC
2010
IEEE
13 years 5 months ago
2010
IEEE
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...