Sciweavers

3119 search results - page 394 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
ICST
2008
IEEE
16 years 28 days ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
ATMOS
2007
124views Optimization» more  ATMOS 2007»
15 years 8 months ago
A Simulation/Optimization Framework for Locomotive Planning
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
Artyom G. Nahapetyan, Ravindra K. Ahuja, F. Zeynep...
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
16 years 3 days ago
Snake-Like Units Using Flexible Backbones and Actuation Redundancy for Enhanced Miniaturization
— This paper reports some recent analysis and modeling results obtained while developing a tele-robotic system for minimally invasive surgery of the throat. One of the main enabl...
Nabil Simaan
AIIDE
2009
15 years 7 months ago
Computational Support for Play Testing Game Sketches
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...
Adam M. Smith, Mark J. Nelson, Michael Mateas
CC
2005
Springer
108views System Software» more  CC 2005»
16 years 1 days ago
Task Partitioning for Multi-core Network Processors
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
Robert Ennals, Richard Sharp, Alan Mycroft