Sciweavers

2173 search results - page 134 / 435
» The History of the History of Software
Sort
View
SCM
2003
15 years 7 months ago
Compatibility of XML Language Versions
Individual organisations as well as industry consortia are currently defining application and domain-specific languages using the eXtended Markup Language (XML) standard of the W...
Daniel Dui, Wolfgang Emmerich
ECIS
2000
15 years 7 months ago
Design Breakdowns, Scenarios and Rapid Application Development
- In this paper we consider the way in which two representational forms, scenarios and design breakdowns, which have emerged in the tradition of participatory design are relevant w...
Paul Beynon-Davies
FORTE
1994
15 years 7 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
SIGCOMM
2010
ACM
15 years 6 months ago
QuagFlow: partnering Quagga with OpenFlow
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
Marcelo Ribeiro Nascimento, Christian Esteve Rothe...
BIOINFORMATICS
2010
109views more  BIOINFORMATICS 2010»
15 years 6 months ago
Phylogenetic networks do not need to be complex: using fewer reticulations to represent conflicting clusters
Phylogenetic trees are widely used to display estimates of how groups of species evolved. Each phylogenetic tree can be seen as a collection of clusters, subgroups of the species ...
Leo van Iersel, Steven Kelk, Regula Rupp, Daniel H...