14244 search results - page 391 / 2849 » Modeling Program Predictability |
106
click to vote
IEAAIE
2010
Springer
15 years 2 months ago
2010
Springer
A large number of delinquent activities are performed by adolescents and only occur during this period in their lives. One of the main factors that influence this behaviour is soci...
138
click to vote
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable ...
120
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
111
click to vote
SOFTVIS
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
130
Voted
CCE
2004
15 years 3 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...