Sciweavers

824 search results - page 124 / 165
» Constructing Functional Programs for Grammar Analysis Proble...
Sort
View
BIRTHDAY
2003
Springer
15 years 9 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
KBS
2000
59views more  KBS 2000»
15 years 5 months ago
Hands-on representations in a two-dimensional space for early stages of design
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...
Yasuhiro Yamamoto, Kumiyo Nakakoji, Shingo Takada
DOCENG
2006
ACM
15 years 12 months ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
Pierre Genevès, Nabil Layaïda
BMCBI
2007
173views more  BMCBI 2007»
15 years 6 months ago
Ringo - an R/Bioconductor package for analyzing ChIP-chip readouts
Background: Chromatin immunoprecipitation combined with DNA microarrays (ChIP-chip) is a high-throughput assay for DNA-protein-binding or post-translational chromatin/histone modi...
Joern Toedling, Oleg Sklyar, Tammo Krueger, Jenny ...
CCS
2007
ACM
16 years 4 days ago
A simple and expressive semantic framework for policy composition in access control
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
Glenn Bruns, Daniel S. Dantas, Michael Huth