2520 search results - page 251 / 504 » Model-checking behavioral programs |
189
click to vote
IFL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
185
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
186
click to vote
MBEES
2010
15 years 8 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
169
click to vote
VEE
2005
ACM
16 years 5 days ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...
164
click to vote
GECCO
2004
Springer
16 years 12 hour ago
2004
Springer
In this paper, we propose a genetic network programming (GNP) architecture using a coevolution model called automatically defined groups (ADG). The GNP evolves networks for describ...