2050 search results - page 363 / 410 » A formal foundation for process modeling |
114
click to vote
WISE
2003
Springer
15 years 7 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
105
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
114
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
124
click to vote
AIPR
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...
119
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...