9974 search results - page 1847 / 1995 » Software Interconnection Models |
102
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
115
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
109
click to vote
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
103
click to vote
ICWL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
116
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...