Sciweavers

5510 search results - page 380 / 1102
» Mathematics
Sort
View
IWSEC
2007
Springer
16 years 29 days ago
Processing Multi-parameter Attacktrees with Estimated Parameter Values
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
Aivo Jürgenson, Jan Willemson
MKM
2007
Springer
16 years 29 days ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
PPAM
2007
Springer
16 years 29 days ago
On Parallel Generation of Partial Derangements, Derangements and Permutations
The concept of a partial derangement is introduced and a versatile representation of partial derangements is proposed with permutations and derangements as special cases. The repre...
Zbigniew Kokosinski
PPAM
2007
Springer
16 years 29 days ago
Implementing Commodity Flow in an Agent-Based Model E-Commerce System
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...
Maria Ganzha, Maciej Gawinecki, Pawel Kobzdej, Mar...
PPAM
2007
Springer
16 years 29 days ago
New Data Structures for Matrices and Specialized Inner Kernels: Low Overhead for High Performance
Dense linear algebra codes are often expressed and coded in terms of BLAS calls. This approach, however, achieves suboptimal performance due to the overheads associated to such cal...
José R. Herrero