Sciweavers

8828 search results - page 122 / 1766
» Formal methods in practice
Sort
View
CAV
2004
Springer
105views Hardware» more  CAV 2004»
15 years 11 months ago
A Formal Reduction for Lock-Free Parallel Algorithms
Hui Gao, Wim H. Hesselink
FMCAD
2004
Springer
15 years 11 months ago
A Methodology for the Formal Verification of FFT Algorithms in HOL
Behzad Akbarpour, Sofiène Tahar
BPM
2007
Springer
201views Business» more  BPM 2007»
16 years 18 days ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
CAISE
2005
Springer
15 years 12 months ago
Development of a formal REA-ontology Representation
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
Frederik Gailly, Geert Poels