Sciweavers

6149 search results - page 118 / 1230
» Revealing the programming process
Sort
View
FSMNLP
2005
Springer
15 years 6 months ago
A Programming Language for Finite State Transducers
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
Helmut Schmid
SPIN
2001
Springer
15 years 5 months ago
Transformations for Model Checking Distributed Java Programs
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
Scott D. Stoller, Yanhong A. Liu
68
Voted
LREC
2010
192views Education» more  LREC 2010»
15 years 2 months ago
The DARPA Machine Reading Program - Encouraging Linguistic and Reasoning Research with a Series of Reading Tasks
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...
Stephanie Strassel, Dan Adams, Henry Goldberg, Jon...
112
Voted
FECS
2006
141views Education» more  FECS 2006»
15 years 2 months ago
Continuous improvement of the Computer Science Undergraduate Program at CSULA
The Department of Computer Science at California State University, Los Angeles has established an assessment process to guide the continuous improvement of the undergraduate curri...
Russ Abbott, Vladimir Akis, Valentino Crespi, Huip...
96
Voted
ICSM
2005
IEEE
15 years 6 months ago
Toward Documentation of Program Evolution
The documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation mode from updating ...
Thomas Vestdam, Kurt Nørmark