3028 search results - page 238 / 606 » Integrating Temporal Logics |
221
click to vote
STORAGESS
2005
ACM
16 years 25 days ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
181
click to vote
FCCM
1999
IEEE
15 years 11 months ago
1999
IEEE
Technology scaling of CMOS processes brings relatively faster transistors (gates) and slower interconnects (wires), making viable the addition of reconfigurability to increase per...
204
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
182
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
168
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...