Sciweavers

2152 search results - page 65 / 431
» An Abstract Account of Composition
Sort
View
SOCO
2008
Springer
14 years 11 months ago
Compositional Modeling for Data-Centric Business Applications
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
Ethan K. Jackson, Wolfram Schulte
SAB
2010
Springer
156views Optimization» more  SAB 2010»
14 years 10 months ago
Co-development of Linguistic and Behavioural Skills: Compositional Semantics and Behaviour Generalisation
Abstract. Population of simulated agents controlled by dynamical neural networks are trained by artificial evolution to access linguistic instructions and to execute them by indic...
Elio Tuci, Tomassino Ferrauto, Gianluca Massera, S...
ICFEM
2009
Springer
14 years 9 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
IDA
2009
Springer
14 years 9 months ago
Ontology-Driven KDD Process Composition
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...
Claudia Diamantini, Domenico Potena, Emanuele Stor...
CRYPTO
2009
Springer
144views Cryptology» more  CRYPTO 2009»
15 years 6 months ago
On the Composition of Public-Coin Zero-Knowledge Protocols
Abstract. We show that only languages in BPP have public-coin, blackbox zero-knowledge protocols that are secure under an unbounded (polynomial) number of parallel repetitions. Thi...
Rafael Pass, Wei-Lung Dustin Tseng, Douglas Wikstr...