Sciweavers

3809 search results - page 470 / 762
» Associative language descriptions
Sort
View
CSL
2008
Springer
15 years 9 months ago
Extensional Uniformity for Boolean Circuits
Abstract. Imposing an extensional uniformity condition on a non-uniform circuit complexity class C means simply intersecting C with a uniform class L. By contrast, the usual intens...
Pierre McKenzie, Michael Thomas, Heribert Vollmer
ECMDAFA
2008
Springer
97views Hardware» more  ECMDAFA 2008»
15 years 9 months ago
Model-Driven Security in Practice: An Industrial Experience
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
Manuel Clavel, Viviane da Silva, Christiano Braga,...
AAAI
2010
15 years 9 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
BIS
2007
92views Business» more  BIS 2007»
15 years 9 months ago
Supporting Use-Case Reviews
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
Alicja Ciemniewska, Jakub Jurkiewicz, Lukasz Olek,...
COLING
2008
15 years 9 months ago
A Grammar Checking System for Punjabi
This article provides description about the grammar checking system developed for detecting various grammatical errors in Punjabi texts. This system utilizes a fullform lexicon fo...
Mandeep Singh Gill, Gurpreet Singh Lehal