3557 search results - page 363 / 712 » Authoring Presentation for OpenMath |
167
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
163
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
We present a chosen-ciphertext attack against the public key cryptosystem called NTRU. This cryptosystem is based on polynomial algebra. Its security comes from the interaction of ...
161
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
An important challenge in designing ubiquitous computing experiences is negotiating transitions between explicit and implicit interaction, such as how and when to provide users wi...
192
click to vote
DGO
2009
15 years 7 months ago
2009
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...
174
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...