Sciweavers

438 search results - page 37 / 88
» An Integrated Digital Tool for Accessing Language Resources
Sort
View
SIGSOFT
2006
ACM
15 years 10 months ago
User guidance for creating precise and accessible property specifications
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
Rachel L. Cobleigh, George S. Avrunin, Lori A. Cla...
CORR
2006
Springer
122views Education» more  CORR 2006»
14 years 9 months ago
Unification of multi-lingual scientific terminological resources using the ISO 16642 standard. The TermSciences initiative
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
Majid Khayari, Stéphane Schneider, Isabelle...
ACSAC
2004
IEEE
15 years 1 months ago
Detecting Exploit Code Execution in Loadable Kernel Modules
In current extensible monolithic operating systems, loadable kernel modules (LKM) have unrestricted access to all portions of kernel memory and I/O space. As a result, kernel-modu...
Haizhi Xu, Wenliang Du, Steve J. Chapin
BMCBI
2005
106views more  BMCBI 2005»
14 years 9 months ago
ESTree db: a Tool for Peach Functional Genomics
Background: The ESTree db http://www.itb.cnr.it/estree/ represents a collection of Prunus persica expressed sequenced tags (ESTs) and is intended as a resource for peach functiona...
Barbara Lazzari, Andrea Caprera, Alberto Vecchiett...
NAR
2011
331views Computer Vision» more  NAR 2011»
14 years 4 months ago
Community cyberinfrastructure for Advanced Microbial Ecology Research and Analysis: the CAMERA resource
The Community Cyberinfrastructure for Advanced Microbial Ecology Research and Analysis (CAMERA, http://camera.calit2.net/) is a database and associated computational infrastructur...
Shulei Sun, Jing Chen, Weizhong Li, Ilkay Altintas...