2540 search results - page 165 / 508 » Abstract Logics as Dialgebras |
168
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...
153
click to vote
ARC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper, we present a systematic design and implementation of reconfigurable interconnects on demand. The proposed on-chip interconnection network provides identic...
177
click to vote
ISOLA
2007
Springer
16 years 21 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
163
click to vote
LPAR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
147
click to vote
FCCM
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper introduces the Low-Power Intelligent Tool Environment (LITE), an object oriented tool set designed for power visualization, analysis, and optimization. These tools lever...