1700 search results - page 280 / 340 » Specifying and implementing refactorings |
178
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
179
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
155
click to vote
IJWIS
2006
15 years 6 months ago
2006
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...
155
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Alignments of homologous DNA sequences are crucial for comparative genomics and phylogenetic analysis. However, multiple alignment represents a computationally difficu...
164
click to vote
ENTCS
2000
15 years 5 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...