4609 search results - page 579 / 922 » Automatic Generation of Sigma-Protocols |
221
click to vote
QSIC
2005
IEEE
16 years 1 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
213
click to vote
SYNASC
2005
IEEE
16 years 1 months ago
2005
IEEE
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
174
click to vote
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
207
click to vote
WECWIS
2005
IEEE
16 years 1 months ago
2005
IEEE
Business rules define or constrain some business [24]. Many different business rules engines exist to capture and manage the rules that comprise ones business. The lack of standa...
171
Voted
HT
2005
ACM
16 years 1 months ago
2005
ACM
This demo is of a hypertext reading system called StorySpinner. It follows the sculptural hypertext methodology and has been used as a test bed for experimenting with the authorin...