Sciweavers

1347 search results - page 116 / 270
» A Web-based requirements analysis tool
Sort
View
142
Voted
IJCIS
2002
255views more  IJCIS 2002»
15 years 3 months ago
BioMAS: A Multi-Agent System for Genomic Annotation
The explosive growth in genomic (and soon, expression and proteomic) data, exemplified by the Human Genome Project, is a fertile domain for the application of multi-agent informat...
Keith Decker, Salim Khan, Carl Schmidt, Gang Situ,...
WSC
2000
15 years 5 months ago
An MSE-based simulation capability for strategic and tactical logistics
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
Charles R. Standridge, David R. Heltne
139
Voted
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
15 years 10 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
15 years 9 months ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
FMICS
2006
Springer
15 years 7 months ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius