Sciweavers

3516 search results - page 397 / 704
» Programming Languages: Application and Interpretation
Sort
View
BMCBI
2007
89views more  BMCBI 2007»
15 years 6 months ago
msmsEval: tandem mass spectral quality assignment for high-throughput proteomics
Background: In proteomics experiments, database-search programs are the method of choice for protein identification from tandem mass spectra. As amino acid sequence databases grow...
Jason W. H. Wong, Matthew J. Sullivan, Hugh M. Car...
WWW
2009
ACM
16 years 7 months ago
XQuery in the browser
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
Ghislain Fourny, Markus Pilman, Daniela Florescu, ...
ITICSE
2010
ACM
15 years 11 months ago
The SOM family: virtual machines for teaching and research
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at diļ...
Michael Haupt, Robert Hirschfeld, Tobias Pape, Gre...
CLIMA
2004
15 years 8 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
JLP
2007
159views more  JLP 2007»
15 years 6 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...