2253 search results - page 218 / 451 » The ComFoRT Reasoning Framework |
121
click to vote
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
IWPC
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
106
click to vote
FM
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
ETFA
2006
IEEE
15 years 5 months ago
2006
IEEE
Multiplysectioned Bayesian networks provide a probabilistic framework for reasoning about uncertain domains in cooperative multiagent systems. Several advances have been made in r...
80
Voted
WECWIS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...