Sciweavers

403 search results - page 27 / 81
» Rationale and Design of BULK
Sort
View
SYNASC
2007
IEEE
134views Algorithms» more  SYNASC 2007»
14 years 3 months ago
Building Agent-Based Simulations Using Structural and Process Mental Models
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
Marco Stuit, Nick B. Szirbik, Hans Wortmann
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
14 years 2 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
GECCO
2003
Springer
126views Optimization» more  GECCO 2003»
14 years 2 months ago
Coevolution and Linear Genetic Programming for Visual Learning
In this paper, a novel genetically-inspired visual learning method is proposed. Given the training images, this general approach induces a sophisticated feature-based recognition s...
Krzysztof Krawiec, Bir Bhanu
DANCE
2002
IEEE
14 years 2 months ago
Janos: A Java-Oriented OS for Active Network Nodes
Janos is an operating system for active network nodes whose primary focus is strong resource management and control of untrusted active applications written in Java. Janos include...
Patrick Tullmann, Mike Hibler, Jay Lepreau
NGITS
1995
Springer
14 years 1 months ago
The TSIMMIS Approach to Mediation: Data Models and Languages
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
Hector Garcia-Molina, Dallan Quass, Yannis Papakon...