173 search results - page 18 / 35 » Data Flow Testing as Model Checking |
ICCV
2011
IEEE
13 years 9 months ago
2011
IEEE
Recognition of motions and activities of objects in videos requires effective representations for analysis and matching of motion trajectories. In this paper, we introduce a new r...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
The objective of this study is to identify the relationships in which social support influences flow and game loyalty through character control, character identity, guild identity...
CCE
2005
14 years 9 months ago
2005
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
111
click to vote
SOFTVIS
2010
ACM
14 years 9 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
SIGSOFT
2000
ACM
15 years 1 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...