Sciweavers

869 search results - page 76 / 174
» Implementing Electronic Marketplaces
Sort
View
ENC
2005
IEEE
15 years 10 months ago
SELES: An e-Voting System for Medium Scale Online Elections
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....
Claudia García-Zamora, Francisco Rodr&iacut...
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 10 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
CASCON
1996
124views Education» more  CASCON 1996»
15 years 5 months ago
Supporting procedural constructs in existing SQL compilers
The draft ofthe SQL/PSM standard de nes a procedural extension to the existing SQL2 language. An essential part of this extension is the support of procedural constructs such as B...
Gene Fuh, Jyh-Herng Chow, Nelson Mendonça M...
120
Voted
JCC
2006
42views more  JCC 2006»
15 years 4 months ago
Starting SCF calculations by superposition of atomic densities
: We describe the procedure to start an SCF calculation of the general type from a sum of atomic electron densities, as implemented in GAMESS-UK. Although the procedure is well kno...
J. H. Van Lenthe, R. Zwaans, Huub J. J. Van Dam, M...
156
Voted
ACSC
2003
IEEE
15 years 10 months ago
Comparing Industry Benchmarks for J2EE Application Server : IBM's Trade2 vs Sun's ECperf
As the Internet and enterprise wide distributed systems become more prevalent in business IT systems, numerous advanced COTS (commercial off-the-shelf) middleware technologies hav...
Yan Zhang, Anna Liu, Wei Qu