2570 search results - page 350 / 514 » Constructing a web information system development methodolog... |
158
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Rates of substitution in protein-coding sequences can provide important insights into evolutionary processes that are of biomedical and theoretical interest. Increased...
150
click to vote
SCAM
2006
IEEE
15 years 11 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
157
click to vote
MMM
2010
Springer
15 years 7 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...
146
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
107
Voted
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. On line Knowledge e-marketplaces (Ke-markets) posses some special challenges for buyers and sellers. Unlike most markets, the product of exchange has some unique characte...