3653 search results - page 478 / 731 » On Recognizable Timed Languages |
181
click to vote
APLAS
2006
ACM
16 years 17 days ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
160
click to vote
DOCENG
2006
ACM
16 years 17 days ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
188
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
165
click to vote
SIGDOC
2006
ACM
16 years 17 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
176
click to vote
APSEC
2005
IEEE
16 years 7 days ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...