5499 search results - page 229 / 1100 » Generalized Rewrite Theories |
182
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
199
click to vote
IJCAI
1997
15 years 8 months ago
1997
When dealing with narrative texts, a system must possess a strong domain theory, and especially knowledge about situations occurring in the world. Otherwise the system must envisa...
167
click to vote
AEI
2008
15 years 7 months ago
2008
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...
171
click to vote
ATAL
2003
Springer
16 years 13 days ago
2003
Springer
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
255
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...