1410 search results - page 236 / 282 » A Logic for Virtual Memory |
131
click to vote
ESCIENCE
2005
IEEE
15 years 10 months ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...
126
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
143
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
148
click to vote
CADE
2004
Springer
15 years 9 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
153
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...