736 search results - page 20 / 148 » Moving Specification Structures Between Logical Systems |
141
Voted
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
112
Voted
CIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
127
Voted
ICCAD
2009
IEEE
15 years 14 days ago
2009
IEEE
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
118
Voted
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
122
Voted
AAI
2010
14 years 9 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...