3555 search results - page 348 / 711 » Security-Critical System Development with Extended Use Cases |
166
click to vote
JMM2
2006
15 years 6 months ago
2006
Abstract-- In general automatic face classification applications images are captured in natural environments. In these cases, the performance is affected by variations in facial im...
162
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
The web's hyperlinks are notoriously brittle, and break whenever a resource migrates. One solution to this problem is a transparent resource migration mechanism, which separa...
171
click to vote
TMI
2011
15 years 1 months ago
2011
—The 4D extended Cardiac-Torso (XCAT) phantom was developed to provide a realistic and flexible model of the human anatomy and cardiac and respiratory motions for use in medical ...
173
Voted
CORR
2000
Springer
15 years 6 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
157
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a model of incremental change that consists of concept location, impact analysis, actualization, change propagation, supporting refactorings, and testing. Repe...