5984 search results - page 65 / 1197 » The Informal Nature of Systems Engineering |
124
click to vote
KDD
2010
ACM
14 years 11 months ago
2010
ACM
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities. A critical problem in a crisis situation is how t...
151
click to vote
FASE
2007
Springer
15 years 7 months ago
2007
Springer
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
103
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...