Sciweavers

3868 search results - page 565 / 774
» Open Systems in TLA
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
15 years 6 months ago
State Based Robustness Testing for Components
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
EL
2008
139views more  EL 2008»
15 years 6 months ago
Achieving OAI PMH compliancy for CDS/ISIS databases
CDS/ISIS is an Integrated Storage and Information retrieval System of United Nations Educational Scientific and Cultural Organization (UNESCO), which is widely used for managing bi...
Stefka Kaloyanova, Gian Luigi Betti, Francesco Cas...
BMCBI
2006
105views more  BMCBI 2006»
15 years 6 months ago
Integrative investigation of metabolic and transcriptomic data
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
Pinar Pir, Betül Kirdar, Andrew Hayes, Z. Ils...
CSCL
2006
109views more  CSCL 2006»
15 years 6 months ago
Supporting synchronous collaborative learning: A generic, multi-dimensional model
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...
Jacques Lonchamp
IJACT
2008
64views more  IJACT 2008»
15 years 6 months ago
An efficient one-move Nominative Signature scheme
Abstract. A signer in a Nominative Signature (NS) scheme can arbitrarily choose a nominee, then jointly generate a signature in such a way that the signature can only be verified w...
Qiong Huang, Dennis Y. W. Liu, Duncan S. Wong