365 search results - page 64 / 73 » Using Types as Approximations for Type Checking Prolog Progr... |
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
DBPL
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Protein sequences with unknown functionality are often compared to a set of known sequences to detect functional similarities. Efficient dynamic programming algorithms exist for t...