1715 search results - page 52 / 343 » Domain-Specific Program Checking |
117
click to vote
APWEB
2005
Springer
15 years 7 months ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
128
click to vote
ICVGIP
2004
15 years 3 months ago
2004
We present a method to determine the 3D spatial locations of joints of a human body from a monocular video sequence of a Bharatanatyam dance. The proposed method uses domain speci...
111
click to vote
ECSA
2010
Springer
15 years 26 days ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
123
click to vote
ICFP
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
158
click to vote
NFM
2011
14 years 9 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...