836 search results - page 39 / 168 » An Object Semantic Model of SOFL |
BPM
2008
Springer
13 years 12 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
ICCV
2001
IEEE
14 years 11 months ago
2001
IEEE
We present a statistical model for organizing image collections which integrates semantic information provided by associated text and visual information provided by image features...
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
ISKI
1992
14 years 2 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
FMOODS
2000
13 years 11 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...