Mapping and integration of schema representations of component specefications
Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verify...
Main Author: | Davies, Guy |
---|---|
Format: | Doctoral Thesis |
Language: | English |
Published: |
KTH, Data- och systemvetenskap, DSV
2005
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-136 http://nbn-resolving.de/urn:isbn:91-7283-925-2 |
Similar Items
-
Semantic Web Service Composition via Logic-based Program Synthesis
by: Rao, Jinghai
Published: (2004) -
Thread-based mobility for a distributed dataflow language
by: Havelka, Dragan
Published: (2005) -
Multiple cue object recognition
by: Furesjö, Fredrik
Published: (2005) -
Improved Algorithms for Fast Shading and Lighting
by: Hast, Anders
Published: (2004) -
Generic distribution support for programming systems
by: Klintskog, Erik
Published: (2005)