Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
31
click to vote
EGICE
2006
favorite
Email
discuss
report
227
views
Applied Computing
»
more
EGICE 2006
»
Formalizing Construction Knowledge for Concurrent Performance-Based Design
14 years 1 months ago
Download
imac.epfl.ch
Martin Fischer
Real-time Traffic
Applied Computing
|
EGICE 2006
|
claim paper
Related Content
»
Formally verifying information flow type systems for concurrent and thread systems
»
HyperADD An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design Doc...
»
Semantic Web Ontology Utilization for Heart Failure Expert System Design
»
Knowledge Mediation A Procedure for the Cooperative Construction of Domain Ontologies
»
Improvement of ASIC Design Processes
»
Isolationonly transactions by typing and versioning
»
Formal Specification in Collaborative Design of Critical Software Tools
»
Formalizing the OPAL eBusiness ontology design patterns with OWL
»
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
more »
Post Info
More Details (n/a)
Added
14 Oct 2010
Updated
14 Oct 2010
Type
Conference
Year
2006
Where
EGICE
Authors
Martin Fischer
Comments
(0)
Researcher Info
Applied Computing Study Group
Computer Vision