10899 search results - page 564 / 2180 » The GP Programming System |
173
click to vote
DSN
2005
IEEE
16 years 22 days ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
185
click to vote
FASE
2005
Springer
16 years 19 days ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
201
click to vote
ICLP
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
195
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
205
click to vote
IJKSR
2011
14 years 10 months ago
2011
Learning management systems are routinely used for presenting, solving and grading exercises with large classes. However, teachers are constrained to use questions with pre-defined...