Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,027,330 papers from all fields of science
Search
Sign In
Create Free Account
Powerflasher FDT
Known as:
FDT
Powerflasher FDT is an integrated development environment (IDE) built on the Eclipse platform for development of Adobe Flash-based content. FDT…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
ActionScript
Adobe AIR
Adobe Flash
Adobe Flash Builder
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Design Optimization Problem Reformulation Using Singular Value Decomposition
Somwrita Sarkar
,
A. Dong
,
J. Gero
2009
Corpus ID: 17019320
This paper presents a design optimization problem reformulation method based on singular value decomposition, dimensionality…
Expand
Highly Cited
2008
Highly Cited
2008
Pattern Trees Induction: A New Machine Learning Method
Zhiheng Huang
,
Tom Gedeon
,
M. Nikravesh
IEEE transactions on fuzzy systems
2008
Corpus ID: 511943
Fuzzy classification is one of the most important applications in fuzzy set and fuzzy-logic-related research. Its goal is to find…
Expand
2003
2003
Population structure of Dover sole Solea solea: RAPD and allozyme data indicate divergence in European stocks
Athanasios Exadactylos
,
A. Geffen
,
P. Panagiotaki
,
J. P. Thorpe
2003
Corpus ID: 54713375
Randomly amplified polymorphic DNA (PCR-RAPD) analysis was used to estimate genetic variation within and between 6 Northeast…
Expand
2003
2003
Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains
Matthias Beyer
,
W. Dulz
,
Fenhua Zhen
Test Symposium
2003
Corpus ID: 19893196
The objective of this paper is to automatically generate a MCUM (Markov chain usage model) starting from an OMG UML-SD (sequence…
Expand
1999
1999
Formal methods for mobility standards
Daniel Amyot
,
R. Andrade
,
L. Logrippo
,
Jacques Sincennes
,
Z. Yi
IEEE Emerging Technologies Symposium. Wireless…
1999
Corpus ID: 14959766
Precise specification and exacting verification and validation of protocol standards are essential for their successful…
Expand
1997
1997
Protocol verification with the ALDÉBARAN toolset
M. Bozga
,
Jean-Claude Fernandez
,
A. Kerbrat
,
L. Mounier
International Journal on Software Tools for…
1997
Corpus ID: 1150299
The design of distributed systems is an increasingly complex task, yet competitiveness requires faster developments. Formal…
Expand
1996
1996
Continuous-Valued Attributes in Fuzzy Decision Trees
J. Zeidler
,
M. Schlosser
1996
Corpus ID: 116833377
Classical crisp decision trees (DT) are widely applied to classiication tasks. Nevertheless, there is still a lot of problems…
Expand
1996
1996
Automatic Test Generation for EFSM-based Systems
C. Bourhfir
,
R. Dssouli
,
E. Aboulhamid
1996
Corpus ID: 18153773
The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically…
Expand
Review
1996
Review
1996
Synthesis of communications protocols: an annotated bibliography
K. Saleh
CCRV
1996
Corpus ID: 550340
Protocol synthesis attempts to formalize and automate the process of designing communications protocols. Protocol design is an…
Expand
1994
1994
Test sequence generation using Estelle or SDL structure information
Marc Phalippou
Formal Techniques for (Networked and) Distributed…
1994
Corpus ID: 30390534
this paper makes a synthesis of some previous works on automatic test generation from FDT specifications and presents ideas on…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE