1536 search results - page 172 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
HT
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
CVDB
2004
ACM
14 years 3 months ago
2004
ACM
The development of applications involving multi-dimensional data sets on top of a RDBMS raises several difficulties that are not directly related to the scientific problem being ...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
HPDC
2002
IEEE
14 years 3 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
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...