2203 search results - page 234 / 441 » Temporal Abstract Interpretation |
125
click to vote
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A family of spatio-temporal scale-spaces suitable for a moving observer is developed. The scale-spaces are required to be time causal for being usable for real time measu...
130
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
164
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
146
click to vote
MOBIDE
2006
ACM
15 years 10 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
122
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...