2673 search results - page 413 / 535 » Guided Static Analysis |
166
click to vote
IWC
2006
15 years 4 months ago
2006
Conveyance and recognition of human emotion and affective expression is influenced by many factors, including culture. Within the user modeling field, it has become increasingly n...
125
click to vote
ENTCS
2007
15 years 4 months ago
2007
mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...
131
click to vote
JMM2
2007
15 years 4 months ago
2007
— This paper presents an assignment scheme to control multiple Pan/Tilt (PT) cameras for 3D video of a moving object. The system combines static wide field of view (FOV) cameras...
172
click to vote
JOT
2007
15 years 4 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
151
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...