840 search results - page 87 / 168 » Programming the future |
HUC
2004
Springer
14 years 2 months ago
2004
Springer
Ubiquitous computing promises to enable new classes of application. In this paper, we present research intended to accelerate the exploration of the space of possible application ...
IWPC
2003
IEEE
2003
IEEE
Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation
14 years 2 months ago
Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
NIME
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...