3161 search results - page 531 / 633 » Documenting framework behavior |
118
click to vote
ASM
2003
ASM
15 years 7 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
130
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
136
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Based on the Lagrangian framework for fluid dynamics, a streakline
representation of flow is presented to solve computer vision
problems involving crowd and traffic flow. Streakl...