Sciweavers

4609 search results - page 579 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
199
Voted
QSIC
2005
IEEE
16 years 9 days ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
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 ...
Michael Winikoff
SYNASC
2005
IEEE
117views Algorithms» more  SYNASC 2005»
16 years 9 days ago
Functional-Based Synthesis of Systolic Online Multipliers
— 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...
Tudor Jebelean, Laura Szakacs
VL
2005
IEEE
117views Visual Languages» more  VL 2005»
16 years 9 days ago
Goal-Directed Debugging of Spreadsheets
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...
Robin Abraham, Martin Erwig
WECWIS
2005
IEEE
142views ECommerce» more  WECWIS 2005»
16 years 9 days ago
Design and Implementation of a Service-Oriented Business Rules Broker
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...
Florian Rosenberg, Schahram Dustdar
HT
2005
ACM
16 years 9 days ago
The StorySpinner sculptural reader
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...
Clare J. Hooper, Mark J. Weal