Sciweavers

1830 search results - page 54 / 366
» Centering in Dynamic Semantics
Sort
View
HICSS
2006
IEEE
92views Biometrics» more  HICSS 2006»
15 years 5 months ago
Optimal Design of E-Commerce Site Infrastructure from a Business Perspective
Abstract— A methodology for designing data center infrastructure for E-commerce sites is developed. It differs from existing methodologies in that it evaluates and compares alter...
Jacques Philippe Sauvé, Filipe Marques, Ant...
VLDB
1995
ACM
149views Database» more  VLDB 1995»
15 years 2 months ago
Managing Intra-operator Parallelism in Parallel Database Systems
Abstract: Intra-operator(or partitioned) parallelism is a well-established mechanism for achieving high performance in parallel database systems. However, the problem of how to exp...
Manish Mehta 0002, David J. DeWitt
WSC
2007
15 years 1 months ago
Modeling and simulation of retrieving process
This paper presents a model of Parts Distribution Center (PDC), developed in Arena® 5.0, which aims at providing information about the total time of the retrieving process as the...
Shih Y. Chin, José H. C. G. Júnior
COMPSAC
2002
IEEE
15 years 4 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
SYNTHESE
2011
177views more  SYNTHESE 2011»
14 years 6 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets