1901 search results - page 311 / 381 » Predicting Program Properties from |
165
click to vote
EUROMICRO
2007
IEEE
16 years 19 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
161
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper deals with the problem of solving efficiently structured CSPs. It is well known that (hyper)tree-decompositions offer the best approaches from a theoretical v...
154
click to vote
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
165
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
—Robot imitation is a useful and promising alternative to robot programming. Robot imitation involves two crucial issues. The first is how a robot can imitate a human whose phys...
167
click to vote
WWW
2006
ACM
16 years 7 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...