1631 search results - page 46 / 327 » Observing Functional Logic Computations |
MSCS
2008
13 years 10 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
BIRTHDAY
2012
Springer
12 years 5 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
JCM
2007
13 years 9 months ago
2007
— This paper examines transfer-function based techniques for performing direction finding on a source of electromagnetic energy using a passive vector sensor array whose manifol...
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
ISB
2002
13 years 9 months ago
2002
Data Mining and Knowledge Discovery techniques proved to be efficient tools for variety of complex tasks in biology including DNA research. This paper presents implementation of th...