1188 search results - page 25 / 238 » Testing Semantics: Connecting Processes and Process Logics |
102
click to vote
ITCC
2002
IEEE
15 years 6 months ago
2002
IEEE
Audio watermarking has become an important technology for recording and advertisement industry. Today’s embedding and detection strategies often rely on digital or at least high...
104
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
116
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
118
click to vote
DAS
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present an integrated approach for semantic structure extraction in document images. Document images are initially processed to extract both their layout and logic...
112
click to vote
UML
1998
Springer
15 years 6 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...