5348 search results - page 729 / 1070 » Models for the Compressible Web |
157
click to vote
JLP
2008
15 years 7 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
202
click to vote
JLP
2007
15 years 7 months ago
2007
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
170
click to vote
SIGCSE
2002
ACM
15 years 7 months ago
2002
ACM
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...
228
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
140
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The Zebrafish Model Organism Database (ZFIN) provides a Web resource of zebrafish genomic, genetic, developmental, and phenotypic data. Four different ontologies are currently used...