4666 search results - page 683 / 934 » Equations on Timed Languages |
154
click to vote
ICAS
2006
IEEE
16 years 23 days 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...
178
Voted
ICSEA
2006
IEEE
16 years 22 days 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....
183
click to vote
APLAS
2006
ACM
16 years 20 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 20 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...
193
Voted
SAC
2006
ACM
16 years 20 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...