3653 search results - page 288 / 731 » On Recognizable Timed Languages |
181
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
181
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
192
click to vote
PEPM
2010
ACM
16 years 4 months ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
193
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
243
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...