Sciweavers

2878 search results - page 217 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
ISSA
2004
15 years 7 months ago
A Unified Architecture For Automatic Software Updates
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
Dominic White
CLEIEJ
2004
94views more  CLEIEJ 2004»
15 years 5 months ago
An ontology-based technique for the specification of domain and user models in multi-agent domain
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
Rosario Girardi, Carla Gomes de Faria
BMCBI
2005
124views more  BMCBI 2005»
15 years 5 months ago
Tools enabling the elucidation of molecular pathways active in human disease: Application to Hepatitis C virus infection
Background: The extraction of biological knowledge from genome-scale data sets requires its analysis in the context of additional biological information. The importance of integra...
David J. Reiss, Iliana Avila-Campillo, Vesteinn Th...
BMCBI
2007
169views more  BMCBI 2007»
15 years 6 months ago
The CRISPRdb database and tools to display CRISPRs and to generate dictionaries of spacers and repeats
Background: In Archeae and Bacteria, the repeated elements called CRISPRs for "clustered regularly interspaced short palindromic repeats" are believed to participate in ...
Ibtissem Grissa, Gilles Vergnaud, Christine Pource...
SIGSOFT
2003
ACM
16 years 6 months ago
Behaviour model elaboration using partial labelled transition systems
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee