3799 search results - page 236 / 760 » An Engineering Approach to Formal Methods |
166
click to vote
SWWS
2008
15 years 6 months ago
2008
- Knowledge extraction methods have not efficiently evolved towards new methods to automate the process of building multilingual ontologies as the main representation of structured...
120
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
140
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequenc...
266
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
157
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...