748 search results - page 149 / 150 » A Programming Language for Web Service Development |
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
HPDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Visualization of large-scale high dimensional data tool is highly valuable for scientific discovery in many fields. We present PubChemBrowse, a customized visualization tool for c...
BMCBI
2010
13 years 2 months ago
2010
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
EGOV
2003
Springer
13 years 10 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...
BMCBI
2007
13 years 5 months ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...