Sciweavers

3358 search results - page 337 / 672
» Dynamic Description Logics
Sort
View
JSA
2002
130views more  JSA 2002»
15 years 6 months ago
Reconfigurable models of finite state machines and their implementation in FPGAs
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
Valery Sklyarov
VLSID
2007
IEEE
210views VLSI» more  VLSID 2007»
16 years 7 months ago
Dynamically Optimizing FPGA Applications by Monitoring Temperature and Workloads
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...
Phillip H. Jones, Young H. Cho, John W. Lockwood
CADE
2005
Springer
16 years 7 months ago
Regular Protocols and Attacks with Regular Knowledge
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
Tomasz Truderung
ICDE
2008
IEEE
165views Database» more  ICDE 2008»
16 years 1 months ago
Semantic Web and firewall alignment
— Secure Semantic Web applications, particularly those involving access control, are typically focused at the application-domain only, rather than taking a more holistic approach...
Simon N. Foley, William M. Fitzgerald
AIMSA
2008
Springer
16 years 1 months ago
Mapping Properties of Heterogeneous Ontologies
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
Chiara Ghidini, Luciano Serafini