1451 search results - page 198 / 291 » Order independence and rationalizability |
178
click to vote
CADE
2004
Springer
15 years 11 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
161
click to vote
CHES
2004
Springer
15 years 11 months ago
2004
Springer
Dual-rail encoding, return-to-spacer protocol and hazard-free logic can be used to resist differential power analysis attacks by making the power consumption independent of process...
165
click to vote
HSNMC
2004
Springer
15 years 11 months ago
2004
Springer
Because of the ever-increasing popularity of the Internet, network monitoring becomes very mission critical to guarantee the operation of IP networks, e.g. to detect network failur...
167
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
175
click to vote
JIT
2004
Springer
15 years 11 months ago
2004
Springer
In the research domain agent-based systems are widely used for mobile and distributed information systems. Their underlying paradigm provides excellent mechanisms to isolate tasks ...