Sciweavers

1730 search results - page 251 / 346
» Algebra and Computation
Sort
View
ANTS
2010
Springer
250views Algorithms» more  ANTS 2010»
15 years 8 months ago
A Subexponential Algorithm for Evaluating Large Degree Isogenies
An isogeny between elliptic curves is an algebraic morphism which is a group homomorphism. Many applications in cryptography require evaluating large degree isogenies between ellip...
David Jao, Vladimir Soukharev
FMICS
2006
Springer
15 years 7 months ago
Evaluating Quality of Service for Service Level Agreements
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
Allan Clark, Stephen Gilmore
147
Voted
ECSQARU
1995
Springer
15 years 7 months ago
Parametric Structure of Probabilities in Bayesian Networks
The paper presents a method for uncertainty propagation in Bayesian networks in symbolic, as opposed to numeric, form. The algebraic structure of probabilities is characterized. Th...
Enrique Castillo, José Manuel Gutiér...
174
Voted
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 7 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
FORTE
2007
15 years 5 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat