Sciweavers

9818 search results - page 288 / 1964
» Much Support and More
Sort
View
POPL
2002
ACM
16 years 7 months ago
Stochastic lambda calculus and monads of probability distributions
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
Norman Ramsey, Avi Pfeffer
DATE
2008
IEEE
140views Hardware» more  DATE 2008»
16 years 1 months ago
FPGA Design for Algebraic Tori-Based Public-Key Cryptography
Algebraic torus-based cryptosystems are an alternative for Public-Key Cryptography (PKC). It maintains the security of a larger group while the actual computations are performed i...
Junfeng Fan, Lejla Batina, Kazuo Sakiyama, Ingrid ...
CBMS
2007
IEEE
16 years 1 months ago
Switched Lightpaths for e-Health Applications: Issues and Challenges
The Exploitation of Switched Lightpaths for e-Science Applications (ESLEA) project is evaluating the feasibility of using switched lightpath networks to support various e-Science ...
Lee Momtahan, Sharon Lloyd, Andrew Simpson
ICDE
2007
IEEE
172views Database» more  ICDE 2007»
16 years 1 months ago
A New Data Cube for Integrating Data Mining and OLAP
Recently there is much need of discovering useful knowledge from massive log-data which are generated by Webbased information systems. Such log-data have multiple attributes about...
Tadashi Ohmori, Masahide Naruse, Mamoru Hoshi
ICIW
2007
IEEE
16 years 1 months ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...