3792 search results - page 674 / 759 » Techniques for Trusted Software Engineering |
131
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
155
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...
164
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
169
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
144
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...