Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,007 papers from all fields of science
Search
Sign In
Create Free Account
Conformance testing
Known as:
Compliance testing
, Conformance
, Type testing
Conformance testing or type testing is testing to determine whether a product or system or just a medium complies with the requirements of a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
27 relations
Compiler
DeviceNet
Electrical engineering
Electronic engineering
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Temporal Conformance of Federated Choreographies
Johann Eder
,
Amirreza Tahamtan
International Conference on Database and Expert…
2008
Corpus ID: 1127884
Web service composition is a new way for implementing business processes. In particular, a choreography supports modeling and…
Expand
2008
2008
TagParser: well on the way to ISO-TC37 conformance
Gil Francopoulo
2008
Corpus ID: 14393840
We present rapidly the family of standards that are currently under development within ISO-TC37. Then as an example of…
Expand
2006
2006
Towards Efficient Matching of Semantic Web Service Capabilities
S. Ben Mokhtar
,
Anupam Kaul
,
N. Georgantas
,
V. Issarny
2006
Corpus ID: 16881020
Web services are becoming an incontrovertible paradigm for the development of large scale distributed systems. Combined with…
Expand
2006
2006
A Study on the Optimal Flight Control for an Autonomous UAV
Takuya Kinoshita
,
F. Imado
International Symposium on Mechatronics and its…
2006
Corpus ID: 16807561
This paper proposes a method, which employs the optimal flight controls of a point mass model to a rigid body model, in order to…
Expand
2005
2005
Towards an architectural treatment of software security
J. Ren
,
R. Taylor
,
Paul Dourish
,
D. Redmiles
ACM SIGSOFT Softw. Eng. Notes
2005
Corpus ID: 15195697
Security is a very important concern for software architecture and software components. Previous modeling approaches provide…
Expand
2005
2005
APD Measurement for Evaluating Disturbances Related to the Performance of Digital Communication Systems
K. Gotoh
,
Y. Matsumoto
,
Y. Yamanaka
,
T. Shinozuka
IEICE transactions on communications
2005
Corpus ID: 33313596
The measured values of electromagnetic disturbances should strongly correlate with degradation in the communication quality of…
Expand
1999
1999
View De nition and DTD Inference for XML
Bertram Ludäscher
,
Y. Papakonstantinou
,
P. Velikhov
,
V. Vianu
1999
Corpus ID: 17405645
We present a query language and mediator architecture for XML data [XML98b]. The query language, calledXmas (XMLMatching And…
Expand
1999
1999
Writing Windows WDM Device Drivers
C. Cant
1999
Corpus ID: 69564747
1994
1994
Don't Stop the BIBOP: Flexible and Ecient Storage Management for Dynamically Typed Languages
R. Kent Dybvig
,
David Eby
,
Carl Bruggeman
1994
Corpus ID: 1041654
This paper describes a storage management system that is flexible and efficient. The representation of run-time tags yields fast…
Expand
Review
1993
Review
1993
Conformance Relations and Test Derivation
A. Petrenko
,
G. von Bochmann
,
R. Dssouli
Protocol Test Systems
1993
Corpus ID: 5532006
It seems that finite state machines (FSM's) and (finite) labeled transition systems (LTS's) are competing descriptive models for…
Expand