1099 search results - page 124 / 220 » A tool for assisting the understanding and formal developmen... |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose that, at the highest level of video understanding, the human needs for meaning and the methodologies to extract it are both universal and generic. One must develop an o...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
FMICS
2006
Springer
14 years 25 days ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
CLEIEJ
2010
13 years 6 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...