1180 search results - page 152 / 236 » Total Functional Software Engineering - Overview Paper |
MVA
1996
15 years 12 days ago
1996
We have been developing a support system for the visually disabled t,o actively recognize threedimensional objects or environments, an application system of 3D computer vision. Th...
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
COMPSAC
2001
IEEE
15 years 2 months ago
2001
IEEE
he correspondence between the role abstraction in Role-based Access Control (RBAC) and the notion of organizational positions, it seems easy to construct role hierarchies. This is...
CGO
2006
IEEE
15 years 5 months ago
2006
IEEE
The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, many of which can be a...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...