5630 search results - page 43 / 1126 » Computability in Specification |
SERP
2003
13 years 11 months ago
2003
This paper outlines the motivation for, and the development of, an online advisement scheduling system, OASIS, which will be used in the Computer Science Department at the Univers...
GG
2010
Springer
13 years 10 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
SAC
2006
ACM
13 years 9 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
ASAP
2007
IEEE
14 years 4 months ago
2007
IEEE
Commodity accelerator technologies including reconfigurable devices provide an order of magnitude performance improvement compared to mainstream microprocessor systems. A number o...
ICPP
1998
IEEE
14 years 2 months ago
1998
IEEE
Online interaction with computer systems and applications allows developers to monitor, experiment with, and debug long-running, resource-intensive applicationsat runtime. Traditi...