Sciweavers

5107 search results - page 841 / 1022
» Design Issue Of ECTST
Sort
View
JAPLL
2007
78views more  JAPLL 2007»
15 years 2 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse
JAR
2007
80views more  JAR 2007»
15 years 2 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
JCIT
2007
103views more  JCIT 2007»
15 years 2 months ago
Distributed Systems: An Effective Information Sharing Approach for Legacy Systems
An important issue of distributed systems is interoperability. Lack of interoperability between distributed systems is a common problem with current and legacy applications. Since...
S. Kami Makki
JCP
2007
87views more  JCP 2007»
15 years 2 months ago
Towards a Web Platform for Collaborative Learning Practice, Evaluation and Dissemination
—Computer Supported Collaborative Learning (CSCL) tool adoption is slow and challenging when compared to the dissemination of simpler content delivery systems. The lack of techni...
Jacques Lonchamp
TSE
2008
98views more  TSE 2008»
15 years 2 months ago
Software Architecture Visualization: An Evaluation Framework and Its Application
In order to characterize and improve software architecture visualization practice, the paper derives and constructs a qualitative framework, with seven key areas and 31 features, f...
Keith Gallagher, Andrew Hatch, Malcolm Munro