77 search results - page 10 / 16 » Towards Rewriting in Coq |
CSMR
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
CLUSTER
2002
IEEE
14 years 25 days ago
2002
IEEE
With dramatic improvements in cost-performance, the use of clusters of personal computers is fast becoming widespread. For ease of use and management, a Single System Image (SSI) ...
INAP
2001
Springer
14 years 10 days ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
SIGGRAPH
2000
ACM
14 years 7 days ago
2000
ACM
In this paper we introduce a new light reflection model for image synthesis based on experimental studies of surface gloss perception. To develop the model, we’ve conducted two ...
TAPSOFT
1997
Springer
14 years 17 hour ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...