1054 search results - page 75 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
142
click to vote
DKE
2007
15 years 4 months ago
2007
Finding interaction patterns is a challenging problem, but this kind of information about processes or social networks might be useful for an organization’s management to unders...
138
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
In GIS and spatial databases, cardinal directions are frequently used as selection and join criteria in query languages. However, most cardinal direction models are only able to h...
135
click to vote
ICEXSS
2010
14 years 11 months ago
2010
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...
131
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
121
Voted
FLAIRS
2004
15 years 5 months ago
2004
In this paper we describe I-Subdue, an extension to the Subdue graph-based data mining system. I-Subdue operates over sequentially received relational data to incrementally discov...