1419 search results - page 193 / 284 » Notes on Formalizing Context |
145
click to vote
FAC
2010
15 years 20 days ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
135
click to vote
ICISS
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
139
click to vote
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
246
click to vote
CGF
2011
14 years 10 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
155
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—With the rise of XML as a standard for representing business data, XML data warehousing appears as a suitable solution for decision-support applications. In this context, it is ...