Sciweavers

1264 search results - page 186 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
78
Voted
JCDL
2003
ACM
73views Education» more  JCDL 2003»
15 years 7 months ago
The Dienst-OAI Gateway
Though the Open Archive Initiative Protocol for Metadata Harvesting (OAI-PMH) is becoming the defacto standard for digital libraries, some of its predecessors are still in use. Al...
Terry L. Harrison, Michael L. Nelson, Mohammad Zub...
BPM
2003
Springer
102views Business» more  BPM 2003»
15 years 7 months ago
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
Peter Lory
HCW
1999
IEEE
15 years 6 months ago
Metacomputing with MILAN
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
Arash Baratloo, Partha Dasgupta, Vijay Karamcheti,...
DNA
2007
Springer
106views Bioinformatics» more  DNA 2007»
15 years 5 months ago
Hardware Acceleration for Thermodynamic Constrained DNA Code Generation
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
Qinru Qiu, Prakash Mukre, Morgan Bishop, Daniel J....
HUC
2010
Springer
15 years 3 months ago
Beyond context-awareness: context prediction in an industrial application
In this paper, we discuss the benefits of context prediction for an industrial application in open cast mining. The goal of context prediction is not only to recognize the current...
Yong Ding, Hedda Rahel Schmidtke, Michael Beigl