Sciweavers

16832 search results - page 36 / 3367
» Scenario Based Evaluation
Sort
View
ACMACE
2005
ACM
14 years 3 months ago
Scenario analysis based on linear logic
Frédéric Collé, Ronan Champag...
BIRTHDAY
2005
Springer
14 years 3 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
PAM
2005
Springer
14 years 3 months ago
Measurement Based Analysis of the Handover in a WLAN MIPv6 Scenario
Abstract. This paper studies the problems related to mobile connectivity on a wireless environment with Mobile IPv6, specially the handover, which is the most critical part. The ma...
Albert Cabellos-Aparicio, René Serral-Graci...
EVOW
2004
Springer
14 years 3 months ago
A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
Sérgio G. Araújo, Antônio C. M...