3733 search results - page 14 / 747 » Logics of communication and change |
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We develop a formalization of the Size-Change Principle in Isabelle/HOL and use it to construct formally certified termination proofs for recursive functions automatically.
AAAI
2008
14 years 8 days ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...