6719 search results - page 1058 / 1344 » A Generalization of Automatic Sequences |
185
click to vote
MPC
2004
Springer
16 years 23 days ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
197
click to vote
OOPSLA
2004
Springer
16 years 23 days ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
169
click to vote
PPSN
2004
Springer
16 years 22 days ago
2004
Springer
The mechanism of gene regulation has been studied intensely for decades. It is important to identify synergistic transcriptional motifs. Its search space is so large that an effici...
208
click to vote
RE
2004
Springer
16 years 22 days ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
203
click to vote
TACAS
2004
Springer
16 years 22 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...