1111 search results - page 197 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...
SCP
2010
13 years 6 months ago
2010
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
WADS
2001
Springer
14 years 27 days ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
IJCAI
1993
13 years 9 months ago
1993
Whilst much emphasis in AI has been placed on the use of goals in problem solving, less emphasis has been placed on the role of perception and experience. In this paper we show th...
PKDD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Orange (www.ailab.si/orange) is a suite for machine learning and data mining. It can be used though scripting in Python or with visual programming in Orange Canvas using ...