Sciweavers

16832 search results - page 36 / 3367
» Scenario Based Evaluation
Sort
View
ACMACE
2005
ACM
15 years 10 months ago
Scenario analysis based on linear logic
Frédéric Collé, Ronan Champag...
BIRTHDAY
2005
Springer
15 years 10 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
15 years 9 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
15 years 9 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...