3239 search results - page 577 / 648 » A Logical Process Calculus |
83
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
148
click to vote
DASFAA
2004
IEEE
15 years 4 months ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
113
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
105
Voted
CHES
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
88
Voted
EEE
2004
IEEE
15 years 4 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....