Sciweavers

2562 search results - page 224 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
CCS
2007
ACM
16 years 25 days ago
Specifying and analyzing security automata using CSP-OZ
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
David A. Basin, Ernst-Rüdiger Olderog, Paul E...
CCE
2005
15 years 6 months ago
Computer-aided molecular design using Tabu search
A detailed implementation of the Tabu Search (TS) algorithm for computer-aided molecular design (CAMD) of transition metal catalysts is presented in this paper. Previous CAMD rese...
Bao Lin, Sunitha Chavali, Kyle V. Camarda, David C...
ICALT
2007
IEEE
16 years 29 days ago
Educational Information Search Service Using Ontology
This paper describe the case study of developing and providing the ontology-based educational information search service to overcome the limitations of the existing keyword-based ...
Byoungchol Chang, Dall-ho Ham, Daesung Moon, Yong ...
BIBE
2004
IEEE
149views Bioinformatics» more  BIBE 2004»
15 years 10 months ago
Interactive 3D Protein Structure Visualization Using Virtual Reality
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
Elke Moritz, Jörg Meyer
WSC
2008
15 years 9 months ago
Simplification and aggregation strategies applied for factory analysis in conceptual phase using simulation
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
Matias Urenda Moris, Amos Ng, Jacob Svensson