Sciweavers

1757 search results - page 183 / 352
» Integrating and Extending JCSP
Sort
View
AMC
2006
79views more  AMC 2006»
15 years 6 months ago
Church's thesis meets the N-body problem
``Church's thesis'' is at the foundation of computer science. We point out that with any particular set of physical laws, Church's thesis need not merely be po...
Warren D. Smith
FUIN
2008
91views more  FUIN 2008»
15 years 6 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
DKE
2006
99views more  DKE 2006»
15 years 6 months ago
How to act on inconsistent news: Ignore, resolve, or reject
Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies th...
Anthony Hunter
DKE
2006
138views more  DKE 2006»
15 years 6 months ago
Using the uni-level description (ULD) to support data-model interoperability
We describe a framework called the Uni-Level Description (ULD) for accurately representing information from a broad range of data models. The ULD extends previous metadata-model a...
Shawn Bowers, Lois M. L. Delcambre
ISM
2006
IEEE
188views Multimedia» more  ISM 2006»
15 years 6 months ago
Networked Experiments and Scientific Resource Sharing in Cooperative Knowledge Spaces
Cooperative knowledge spaces create new potentials for the experimental fields in natural sciences and engineering because they enhance the accessibility of experimental setups th...
Sabine Cikic, Sabina Jeschke, Thomas Richter, Uwe ...