Sciweavers

2343 search results - page 115 / 469
» MedModel - Healthcare Simulation Software
Sort
View
CONTEXT
2007
Springer
15 years 10 months ago
Context-Oriented Domain Analysis
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
Brecht Desmet, Jorge Vallejos, Pascal Costanza, Wo...
AMAST
2004
Springer
15 years 9 months ago
Formal JVM Code Analysis in JavaFAN
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
Azadeh Farzan, José Meseguer, Grigore Rosu
BIOADIT
2004
Springer
15 years 9 months ago
Dynamic Self-Assembly and Computation: From Biological to Information Systems
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
Ann M. Bouchard, Gordon C. Osbourn
WSC
2000
15 years 5 months ago
Finding a substrate for federated components on the web
Recent developments in software component technology have renewed the promise of reusable software. Combining this with the possibilities of sharing simulation results and models ...
John A. Miller, Andrew F. Seila, Junxiu Tao
ATMOS
2007
124views Optimization» more  ATMOS 2007»
15 years 6 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...