2451 search results - page 146 / 491 » The Octagon Abstract Domain |
204
click to vote
AWCC
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...
145
Voted
CP
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...
165
click to vote
ICFCA
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
174
click to vote
ICWE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Digital pathology or telepathology intends to extend the usage of electronic images for diagnostical, support or educational purposes in anatomical or clinical pathology....
222
click to vote
IFM
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...