557 search results - page 68 / 112 » The L4.verified Project - Next Steps |
VOTEID
2007
Springer
14 years 1 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this study, we suggest an enterprise architecture (EA) development process model suitable for EA projects limited in scope and time. Several EA process models have been put for...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
Isomap is an exemplar of a set of data driven nonlinear dimensionality reduction techniques that have shown promise for the analysis of images and video. These methods parameteriz...
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...