Sciweavers

7924 search results - page 1122 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
ECIS
2001
15 years 8 months ago
Web Technologies and Value Innovation in the Italian Retail Banking Industry
Interpreting the outcome of a recent survey on Internet banking in Europe, [CARIGNANI et al., 2000], we point the attention to the adoption of Web technologies in Italian retail b...
Francesco Virili, Andrea Carignani
DAGSTUHL
1997
15 years 8 months ago
Scattered Data Techniques for Surfaces
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...
Suresh K. Lodha, Richard Franke
OSDI
1996
ACM
15 years 8 months ago
Microkernels Meet Recursive Virtual Machines
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tull...
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
15 years 8 months ago
Fitness calculation approach for the switch-case construct in evolutionary testing
A well-designed fitness function is essential to the effectiveness and efficiency of evolutionary testing. Fitness function design has been researched extensively. For fitness ...
Yan Wang, Zhiwen Bai, Miao Zhang, Wen Du, Ying Qin...
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 7 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
« Prev « First page 1122 / 1585 Last » Next »