4418 search results - page 45 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
167
Voted
IFIP13
2004
15 years 5 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
135
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
147
Voted
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...
149
Voted
TGC
2005
Springer
15 years 9 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
220
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
During the last decade national archives, libraries, museums and companies started to make their records, books and files electronically available. In order to allow efficient ac...