CMSB
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
ACMSE
2011
ACM
12 years 11 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
ACMSE
2011
ACM
12 years 11 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
RTA
2011
Springer
13 years 1 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
RTA
2011
Springer
13 years 1 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
ICONFERENCE
2011
13 years 2 months ago
2011
An annotator’s classification of a text not only tells us something about the intent of the text’s author, it also tells us something about the annotator’s standpoint. To un...
ICONFERENCE
2011
13 years 2 months ago
2011
Personal health records (PHR) have enormous potential to improve both documentation of health information and patient care. The adoption of these systems, however, has been relati...
ICOM
2011
13 years 2 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
ICMT
2011
Springer
13 years 2 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
ICMT
2011
Springer
13 years 2 months ago
2011
Springer
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...