557 search results - page 96 / 112 » The L4.verified Project - Next Steps |
RE
2007
Springer
14 years 1 months ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
CSMR
2006
IEEE
14 years 1 months ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
Needs in the worldwide competition push teams to master more and more their design flow in order to minimize risks, costs, time to market, and potential liabilities. The classical...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
While previous research has provided a great deal of information on individual factors that play a role in IT implementation success, a gap in the research exists when it comes to...
ICPPW
2006
IEEE
14 years 1 months ago
2006
IEEE
The vast majority of research projects involving Grid Computing have focused on the development and standardization of the middleware that allows Grids to function. Despite the ma...