2685 search results - page 240 / 537 » A Formal Semantics for SPKI |
204
click to vote
SEW
2006
IEEE
16 years 22 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
143
click to vote
ACSD
2005
IEEE
16 years 10 days ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
135
Voted
ESWS
2005
Springer
16 years 7 days ago
2005
Springer
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users...
235
click to vote
IDA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
174
click to vote
ACSD
2003
IEEE
16 years 22 hour ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...