Sciweavers

2317 search results - page 23 / 464
» Model based testing for agent systems
Sort
View
CCS
2000
ACM
13 years 11 months ago
Security enhanced mobile agents
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
Vijay Varadharajan
AIPS
2000
13 years 8 months ago
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
Benjamin D. Smith, Martin S. Feather, Nicola Musce...
CIMCA
2005
IEEE
13 years 9 months ago
Fuzzy System Modeling with the Genetic and Differential Evolutionary Optimization
This paper compares the performance of two provably successful evolutionary optimization tools in the optimization of a Fuzzy-Rule-Base (FRB) for the three well known fuzzy modeli...
Mehmet Bodur, Adnan Acan, Talip Akyol
MMAS
2010
Springer
13 years 2 months ago
Simplified Modelling of a Thermal Bath, with Application to a Fluid Vortex System
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
Svetlana Dubinkina, Jason Frank, Ben Leimkuhler
UML
2004
Springer
14 years 21 days ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...