Sciweavers

1822 search results - page 191 / 365
» GENI Design Principles
Sort
View
BPM
2003
Springer
102views Business» more  BPM 2003»
15 years 9 months ago
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
Peter Lory
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
96
Voted
GECCO
2003
Springer
114views Optimization» more  GECCO 2003»
15 years 9 months ago
Learning the Ideal Evaluation Function
Abstract. Designing an adequate fitness function requiressubstantial knowledge of a problem and of features that indicate progress towards a solution. Coevolution takes the human ...
Edwin D. de Jong, Jordan B. Pollack
141
Voted
GPCE
2003
Springer
15 years 9 months ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha
IBPRIA
2003
Springer
15 years 9 months ago
A 3D Ultrasound System for Medical Diagnosis
This paper presents a system for 3D ultrasound which aims to reconstruct a volume of interest from a set of ultrasound images. A Bayesian reconstruction algorithm has been recently...
João M. Sanches, Jorge S. Marques, Fausto P...