7924 search results - page 21 / 1585 » Non-Malleable Functions and Their Applications |
IUI
2012
ACM
12 years 3 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
ADBIS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
ENTCS
2002
13 years 7 months ago
2002
Most problems in computational geometry are algebraic. A general approach to address nonrobustness in such problems is Exact Geometric Computation (EGC). There are now general lib...
SIES
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...