3624 search results - page 446 / 725 » Abstract Algebraic Logic |
202
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
175
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 26 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...
184
click to vote
ISOLA
2007
Springer
16 years 25 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: ...
147
click to vote
FCCM
2006
IEEE
16 years 22 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...