2702 search results - page 57 / 541 » Practically Applicable Formal Methods |
IWSOC
2005
IEEE
15 years 3 months ago
2005
IEEE
Performance estimation of processor is important to select the right processor for an application. Poorly chosen processors can either under perform very badly or over perform but...
107
click to vote
STORYTELLING
2005
Springer
15 years 3 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
RE
2001
Springer
15 years 2 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
FMICS
2008
Springer
14 years 11 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...