5312 search results - page 649 / 1063 » Business Process Management Systems |
195
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
196
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
The world today is characterised by the proliferation of information sources available through media such as the WWW, databases, semi-structured files (e.g. XML documents), etc. N...
203
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
189
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Spatial Database Management Systems (SDBMS), e.g., Geographical Information Systems, that manage spatial objects such as points, lines, and hyper-rectangles, often have very high ...
182
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
The convergence of embedded sensor systems and stream query processing suggests an important role for database techniques, in managing data that only partially – and often inacc...