Sciweavers

3844 search results - page 10 / 769
» Modular interpreted systems
Sort
View
VVEIS
2007
13 years 9 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
ICCV
1999
IEEE
14 years 10 months ago
Control in a 3D Reconstruction System using Selective Perception
This paper presents a control structure for general purpose image understanding that addresses both the high level of uncertainty in local hypotheses and the computational complex...
Maurício Marengoni, Allen R. Hanson, Shlomo...
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
14 years 1 months ago
The Push3 execution stack and the evolution of control
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
Lee Spector, Jon Klein, Maarten Keijzer
AGENTCL
2000
Springer
14 years 23 days ago
On Conversation Policies and the Need for Exceptions
The author describes a system for defining conversation policies that allows conversants to exchange explicit representations of how they use messages to get things done. This sy...
Scott A. Moore
FOSSACS
2008
Springer
13 years 10 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova