Sciweavers

4856 search results - page 207 / 972
» Concept formation in design
Sort
View
CHES
2005
Springer
170views Cryptology» more  CHES 2005»
16 years 1 days ago
Design of Testable Random Bit Generators
Abstract. In this paper, the evaluation of random bit generators for security applications is discussed and the concept of stateless generator is introduced. It is shown how, for t...
Marco Bucci, Raimondo Luzzi
CAISE
2004
Springer
15 years 12 months ago
Design and Implementation of the YAWL System
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
Wil M. P. van der Aalst, Lachlan Aldred, Marlon Du...
HIPC
2004
Springer
15 years 12 months ago
Design of a Robust Search Algorithm for P2P Networks
In this paper, we report a decentralized algorithm, termed ImmuneSearch, for searching p2p networks. ImmuneSearch avoids query message flooding; instead it uses an immune-systems-...
Niloy Ganguly, Geoffrey Canright, Andreas Deutsch
ACSD
2003
IEEE
115views Hardware» more  ACSD 2003»
15 years 11 months ago
Component-Based Design: Towards Guided Composition
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
Sotiris Moschoyiannis, Michael W. Shields
CAISE
2000
Springer
15 years 10 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis