4666 search results - page 634 / 934 » Equations on Timed Languages |
198
click to vote
SACMAT
2005
ACM
16 years 10 days ago
2005
ACM
Integration of version and access control of XML documents has the benefit of regulating access to rapidly growing archives of XML documents. Versioned XML documents provide us w...
217
click to vote
VEE
2005
ACM
16 years 10 days ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...
172
click to vote
AIED
2005
Springer
16 years 10 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
173
click to vote
ECOOP
2005
Springer
16 years 9 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
184
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...