2989 search results - page 4 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
157
click to vote
FM
1997
Springer
15 years 1 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
IJCAI
1993
14 years 11 months ago
1993
This paper introduces GSSS (Genetic State-Space Search). The integration of two general search paradigms — genetic search and state-space-search provides a general framework whi...
FORTE
2004
14 years 11 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
A common problem in frequency domain independent component analysis (ICA) is the so called permutation problem which arises due to the independent demixing in each frequency bin. ...