8009 search results - page 5 / 1602 » cans 2005 |
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
ETFA
2005
IEEE
14 years 3 months ago
2005
IEEE
This work-in-progress (WIP) paper presents Server-CAN and highlights its operation and possible vulnerabilities from a fault tolerance point of view. The paper extends earlier wor...
ICALT
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper explores the potential impact of collaborative technologies on improving management education. The first goal is to expose students to tools and practices that not only...
XIMEP
2005
ACM
14 years 3 months ago
2005
ACM
As XML finds its place in information technology, query languages for XML attract much attention. Among them XPath is the most known. This article reveals a surprising fact that ...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...