4211 search results - page 628 / 843 » Types as Abstract Interpretations |
130
Voted
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
139
Voted
FORTE
2008
15 years 6 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
134
Voted
AAAI
1994
15 years 6 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
140
click to vote
IJCAI
1989
15 years 6 months ago
1989
Many artificial intelligence systems implicitly use notions of granularity in reasoning, but there is very little research into granularity itself. An exception is the work of Hob...
131
Voted
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...