5630 search results - page 180 / 1126 » Computability in Specification |
168
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
129
click to vote
WIRI
2005
IEEE
15 years 10 months ago
2005
IEEE
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for infor...
114
click to vote
ECBS
2000
IEEE
15 years 9 months ago
2000
IEEE
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
128
Voted
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
119
Voted
VLSID
2005
IEEE
16 years 5 months ago
2005
IEEE
: The direct result of shrinking devices is not only higher densities but also increased switching activity and thus higher device temperatures. The variation in temperature over t...