Sciweavers

2830 search results - page 25 / 566
» No Science without Semantics
Sort
View
LICS
2009
IEEE
14 years 2 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
SIGCSE
2005
ACM
108views Education» more  SIGCSE 2005»
14 years 1 months ago
Teaching and learning ethics in computer science: walking the walk
The author shares techniques used in a successful "Ethics and Professionalism" class at California State University, San Bernardino. The author describes active learning...
Richard J. Botting
ER
2005
Springer
126views Database» more  ER 2005»
14 years 1 months ago
Managing Information Quality in e-Science: A Case Study in Proteomics
We describe a new approach to managing information quality (IQ) in an e-Science context, by allowing scientists to define the quality characteristics that are of importance in the...
Paolo Missier, Alun D. Preece, Suzanne M. Embury, ...
ICCS
2004
Springer
14 years 1 months ago
An Atmospheric Sciences Workflow and Its Implementation with Web Services
: Computational and data Grids couple geographically distributed resources such as high performance computers, workstations, clusters, and scientific instruments. Grid Workflows co...
David Abramson, Jagan Kommineni, John L. McGregor,...
DILS
2004
Springer
13 years 11 months ago
Efficient Techniques to Explore and Rank Paths in Life Science Data Sources
Abstract. Life science data sources represent a complex link-driven federation of publicly available Web accessible sources. A fundamental need for scientists today is the ability ...
Zoé Lacroix, Louiqa Raschid, Maria-Esther V...