3435 search results - page 399 / 687 » Aspect Model Unweaving |
195
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
160
click to vote
BPM
2005
Springer
16 years 5 days ago
2005
Springer
The 20 workflow patterns proposed by Van der Aalst et al. provide a comprehensive benchmark for comparing control flow aspects of process modelling languages. In this paper, we p...
175
click to vote
MIDDLEWARE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
173
click to vote
TMRA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
180
click to vote
SIGECOM
2004
ACM
16 years 2 days ago
2004
ACM
We introduce new online models for two important aspects of modern financial markets: Volume Weighted Average Price trading and limit order books. We provide an extensive study o...