4340 search results - page 120 / 868 » Formal Methods and Cryptography |
132
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
146
click to vote
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
145
click to vote
CIA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
117
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
133
Voted
EKAW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...