613 search results - page 111 / 123 » Executable Visual Contracts |
WSC
2008
14 years 4 days ago
2008
Commercial-off-the-shelf (COTS) Simulation Packages (CSPs) are widely used visual interactive modeling environments such as ArenaTM, AnylogicTM, FlexsimTM, Simul8TM, WitnessTM, et...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Selecting which algorithms should be used by a mobile robot computer vision system is a decision that is usually made a priori by the system developer, based on past experience and...
FPLAY
2008
13 years 11 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
AVI
2010
13 years 11 months ago
2010
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
EUROPLOP
2006
13 years 11 months ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...