307 search results - page 13 / 62 » On the Integrity of Lightweight Checkpoints |
SIGCSE
2004
ACM
14 years 25 days ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
Since its birth in 1995, Wiki has become more and more popular. This paper presents a Semantic Wiki, a Wiki extended to include the ideas of Semantic Web. The proposed Semantic Wik...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
— To ensure security and robustness of the next generation of Physically Unclonable Functions (PUFs), we have developed a new methodology for PUF design. Our approach employs int...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
The current Web service technology brought a new potential to the Web of services. However, the success of Web services still depends on resolving three fundamental challenges, na...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...