4609 search results - page 586 / 922 » Automatic Generation of Sigma-Protocols |
150
click to vote
MKM
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
161
click to vote
RE
2004
Springer
16 years 2 days ago
2004
Springer
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
175
click to vote
COMPSAC
2003
IEEE
16 years 20 hour ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
159
click to vote
FCCM
2003
IEEE
16 years 17 hour ago
2003
IEEE
A module has been implemented in Field Programmable Gate Array (FPGA) hardware that scans the content of Internet packets at Gigabit/second rates. All of the packet processing ope...
160
click to vote
ICDAR
2003
IEEE
16 years 14 hour ago
2003
IEEE
Summarization of web pages is a very interesting topic from both academic and commercial point of view. Academically, it is challenging to create a summary of a document (e.g. a w...