2520 search results - page 128 / 504 » Model-checking behavioral programs |
82
Voted
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
– Many untethered mobile robots require an operator’s vision and intelligence for guidance and navigation. Animals and insects, however, use sensory systems such as hearing, an...
136
click to vote
UC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. It is an unconventional computation approach to evolve solutions instead of calculating them. Although using evolutionary computation in computer science dates back to th...