Sciweavers

2173 search results - page 112 / 435
» The History of the History of Software
Sort
View
IJCAI
1989
15 years 7 months ago
A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution
: This paper describes a novel method for displaying and examining the execution space of a rule interpreter. This method provides both coarse-grained and fine-grained views. The c...
John Domingue, Marc Eisenstadt
CONCUR
2010
Springer
15 years 7 months ago
A Logic for True Concurrency
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
Paolo Baldan, Silvia Crafa
IEICET
2008
110views more  IEICET 2008»
15 years 6 months ago
Language Modeling Using PLSA-Based Topic HMM
In this paper, we propose a PLSA-based language model for sports live speech. This model is implemented in unigram rescaling technique that combines a topic model and an n-gram. I...
Atsushi Sako, Tetsuya Takiguchi, Yasuo Ariki
IFIP
2010
Springer
15 years 1 months ago
Modular Plans for Secure Service Composition
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
SIGMETRICS
2011
ACM
196views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
Autocorrelation analysis: a new and improved method for measuring branch predictability
Branch taken rate and transition rate have been proposed as metrics to characterize the branch predictability. However, these two metrics may misclassify branches with regular his...
Jian Chen, Lizy Kurian John