9509 search results - page 1524 / 1902 » Complex Event Processing |
197
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
160
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
161
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
226
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
171
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...