9049 search results - page 35 / 1810 » The New C Standard |
ENTCS
2000
14 years 9 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
AFRICACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
We propose a generic modelling technique that can be used to extend existing frameworks for theoretical security analysis in order to capture the use of timestamps. We apply this t...
ECTEL
2008
Springer
2008
Springer
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
14 years 11 months ago
Developing a learning design using IMS Learning Design (LD) is difficult for average practitioners because a high overhead of pedagogical knowledge and technical knowledge is requi...
PVLDB
2008
14 years 9 months ago
2008
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
SIGUCCS
2003
ACM
15 years 2 months ago
2003
ACM
The University of Delaware provides nearly all of its information on the World Wide Web; in fact, much of it can be found only on the Web. With this focus, it is critical that all...