4666 search results - page 683 / 934 » Equations on Timed Languages |
167
click to vote
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
202
click to vote
ICSEA
2006
IEEE
16 years 1 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
195
click to vote
APLAS
2006
ACM
16 years 1 months 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...
178
click to vote
DOCENG
2006
ACM
16 years 1 months 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...
206
click to vote
SAC
2006
ACM
16 years 1 months 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...