1513 search results - page 53 / 303 » Semantic Business Process Analysis |
165
click to vote
IFIPTCS
2010
15 years 2 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
117
click to vote
PVLDB
2010
15 years 2 months ago
2010
There are many academic and commercial stream processing engines (SPEs) today, each of them with its own execution semantics. This variation may lead to seemingly inexplicable diď...
122
click to vote
IV
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper is the third in a series of papers designed to explore how “metaphorical meaning” can be used to support knowledge visualization. Within the present discussion the ...
168
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...