2303 search results - page 377 / 461 » The Cryptographic Abstract Machine |
162
click to vote
ISOLA
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
156
click to vote
ISPA
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
165
click to vote
ITS
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
180
click to vote
LCPC
2004
Springer
16 years 15 hour ago
2004
Springer
There is an increasing trends towards distributed and shared repositories for storing scientific datasets. Developing applications that retrieve and process data from such reposit...
183
click to vote
PPDP
2004
Springer
16 years 9 hour ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...