789 search results - page 65 / 158 » Pushing using Compliance |
125
click to vote
VLDB
2001
ACM
15 years 5 months ago
2001
ACM
XML has emerged as the standard data exchange format for Internet-based business applications. This has created the need to publish existing business data, stored in relational da...
110
click to vote
ICCCN
1998
IEEE
15 years 5 months ago
1998
IEEE
With the explosive growth of demand for services on the Internet, the networking infrastructure (routers, protocols, servers) is under considerable stress. Mechanisms are needed f...
119
click to vote
PST
2008
15 years 2 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
100
click to vote
APVIS
2004
15 years 2 months ago
2004
The topic of skeletal animation and its associated techniques have previously been applied in the area of animating computer-generated characters for motion pictures and computer ...
IJCAI
2001
15 years 2 months ago
2001
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...