4211 search results - page 712 / 843 » A formal approach to MASQ |
163
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
190
click to vote
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
156
click to vote
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
183
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
166
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...