Sciweavers

10072 search results - page 55 / 2015
» Composition of Model Programs
Sort
View
71
Voted
BMCBI
2007
74views more  BMCBI 2007»
15 years 2 months ago
GraphDNA: a Java program for graphical display of DNA composition analyses
Jamie M. Thomas, Daniel Horspool, Gordon Brown, Va...
66
Voted
ICRA
2010
IEEE
95views Robotics» more  ICRA 2010»
15 years 11 days ago
Robust by composition: Programs for multi-robot systems
Nils Napp, Eric Klavins
110
Voted
SOCO
2008
Springer
15 years 9 days ago
Practical Conflict Resolution for the Composition of Program Transformations
Andreas I. Schmied, Franz J. Hauck
ISSTA
2004
ACM
15 years 7 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
114
Voted
FUIN
2006
97views more  FUIN 2006»
15 years 1 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