500 search results - page 79 / 100 » Coalgebraic semantics for timed processes |
102
click to vote
MICAI
2005
Springer
15 years 5 months ago
2005
Springer
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...
117
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 5 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
103
click to vote
ICCBR
2001
Springer
15 years 4 months ago
2001
Springer
From some perspectives Automated Collaborative Filtering (ACF) appears quite similar to Case-Based Reasoning (CBR). It works on data organised around users and assets that might be...
CODES
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
105
click to vote
DEBS
2010
ACM
15 years 3 months ago
2010
ACM
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...