12741 search results - page 72 / 2549 » Editorial and call for papers |
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
The Simple Query Interface (SQI) is a query transport standard that is becoming widely used within the e-learning community. Thanks to a common WSDL binding, SQI-compliant reposito...
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Sandboxing systems are extremely useful for secure execution of untrusted applications. Many of the sandboxing systems proposed so far provide security by intercepting system call...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...