2208 search results - page 348 / 442 » Memory Practices in the Sciences |
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Operating rooms are regarded as the most costly hospital facilities. Due to rising costs and decreasing reimbursements, it is necessary to optimize the efficiency of the operating...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Service-Oriented Computing (SOC) enables the development and design of loosely coupled software components for integration with other software system. Since most legacy system wer...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...