289 search results - page 8 / 58 » Acyclic Type of Relationships Between Autonomous Systems |
ESOP
1992
Springer
13 years 11 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
Context influences the search process, but to date research has not definitively identified which aspects of context are the most influential for information retrieval, and thus a...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
CC
2008
Springer
13 years 9 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
MKM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...