239 search results - page 29 / 48 » Using Event Semantics for Modeling Contracts |
ANSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
88
Voted
SIMULATION
2008
14 years 9 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
TAL
2010
Springer
14 years 4 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
91
Voted
MM
2010
ACM
14 years 8 months ago
2010
ACM
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
IEE
2008
14 years 9 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...