Sciweavers

3185 search results - page 250 / 637
» Domain and language evaluation results
Sort
View
CSFW
2005
IEEE
16 years 10 days ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
DASFAA
1999
IEEE
118views Database» more  DASFAA 1999»
15 years 11 months ago
Design and Implementation of a CORBA Query Service Accessing EXPRESS-based Data
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...
Jürgen Sellentin, Bernhard Mitschang
189
Voted
ICCBR
1999
Springer
15 years 11 months ago
Automatic Conversion of VHDL Programs into Cases
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
Paulo Gomes, Carlos Bento
SE
2007
15 years 8 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia
EMNLP
2009
15 years 4 months ago
On the Role of Lexical Features in Sequence Labeling
We use the technique of SVM anchoring to demonstrate that lexical features extracted from a training corpus are not necessary to obtain state of the art results on tasks such as N...
Yoav Goldberg, Michael Elhadad