Sciweavers

16832 search results - page 403 / 3367
» Scenario Based Evaluation
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
ISW
2000
Springer
15 years 10 months ago
Performance Analysis of Secure Web Server Based on SSL
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
Xiaodong Lin, Johnny W. Wong, Weidong Kou
WSC
2008
15 years 9 months ago
Simulation based decision-making for hospital pharmacy management
Managing healthcare delivery systems plays an important role for healthcare providers in order to have high quality service performances. Inpatient pharmacy delivery systems are o...
Alkin Yurtkuran, Erdal Emel
WSC
2008
15 years 9 months ago
Simulating inventory systems with forecast based policy updating
This paper presents an object oriented framework that facilitates modeling inventory systems whose policy updating is driven by forecast estimates. In an inventory system, the for...
Manuel D. Rossetti, Vijith Varghese, Mehmet Miman,...
ARGMAS
2008
Springer
15 years 9 months ago
Personality-Based Practical Reasoning
In virtual training scenarios, agent technology can be used to build a virtual tutor that assists a student during training. In a dialogue using argumentation schemes, the virtual ...
Thomas L. van der Weide, Frank Dignum, John-Jules ...