Sciweavers

10072 search results - page 55 / 2015
» Composition of Model Programs
Sort
View
BMCBI
2007
74views more  BMCBI 2007»
15 years 4 months ago
GraphDNA: a Java program for graphical display of DNA composition analyses
Jamie M. Thomas, Daniel Horspool, Gordon Brown, Va...
ISSTA
2004
ACM
15 years 10 months ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
FUIN
2006
97views more  FUIN 2006»
15 years 4 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu