896 search results - page 92 / 180 » On completeness of word reversing |
JTAER
2008
15 years 24 days ago
2008
There is considerable excitement about the notion of 'Web 2.0', particularly among Internet businesspeople. In contrast, there is an almost complete lack of formal liter...
99
Voted
JLP
2006
15 years 24 days ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
136
Voted
JOC
2006
15 years 24 days ago
2006
Abstract. In response to the current need for fast, secure and cheap public-key cryptography, we propose an interactive zero-knowledge identification scheme and a derived signature...
96
Voted
ENTCS
2007
15 years 24 days ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
112
click to vote
AI
1999
Springer
15 years 16 days ago
1999
Springer
Intelligent systems are often called upon to form plans that direct their own or other agents' activities. For these systems, the ability to describe plans to people in natur...