Sciweavers

652 search results - page 21 / 131
» Deriving Specifications of Dependable Systems: toward a Meth...
Sort
View
BCS
2008
14 years 12 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
BMCBI
2008
108views more  BMCBI 2008»
14 years 10 months ago
New application of intelligent agents in sporadic amyotrophic lateral sclerosis identifies unexpected specific genetic backgroun
Background: Few genetic factors predisposing to the sporadic form of amyotrophic lateral sclerosis (ALS) have been identified, but the pathology itself seems to be a true multifac...
Silvana Penco, Massimo Buscema, Maria Cristina Pat...
INFORMATICALT
2000
141views more  INFORMATICALT 2000»
14 years 10 months ago
Intelligent GIS: Architectural Issues and Implementation Methods
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
Viktoras Paliulionis
CLUSTER
2004
IEEE
14 years 10 months ago
Towards Real-Time Fault-Tolerant CORBA Middleware
An increasing number of applications are being developed using distributed object computing (DOC) middleware, such as CORBA. Many of these applications require the underlying midd...
Aniruddha S. Gokhale, Balachandran Natarajan, Doug...
BMCBI
2007
135views more  BMCBI 2007»
14 years 10 months ago
Sequence similarity is more relevant than species specificity in probabilistic backtranslation
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
Alfredo Ferro, Rosalba Giugno, Giuseppe Pigola, Al...