Sciweavers

7776 search results - page 115 / 1556
» Maintaining Maintainability
Sort
View
STORYTELLING
2005
Springer
15 years 10 months ago
Proposing Daily Visual Feedback as an Aide to Reach Personal Goals
Personal goals are difficult to achieve and healthy habits are not as simple to maintain as people would like to. Often, humans look for help to change unwanted behavior. Technolog...
Ana C. Andrés del Valle, Agata Opalach
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 10 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
CSLP
2004
Springer
15 years 9 months ago
Parsing Unrestricted German Text with Defeasible Constraints
We present a parser for German that achieves a competitive accuracy on unrestricted input while maintaining a coverage of 100%. By writing well-formedness rules as declarative, def...
Kilian A. Foth, Michael Daum, Wolfgang Menzel
ESWS
2004
Springer
15 years 9 months ago
Neptuno: Semantic Web Technologies for a Digital Newspaper Archive
Newspaper archives are a fundamental working tool for editorial teams. Their exploitation in digital format through the web, and the provision of technology to make this possible, ...
Pablo Castells, Ferran Perdrix, E. Pulido, Mariano...
SEMWEB
2004
Springer
15 years 9 months ago
Data Semantics Revisited
The problem of data semantics is establishing and maintaining the correspondence between a data source and its intended subject matter. We review the long history of the problem in...
Alexander Borgida, John Mylopoulos