2478 search results - page 295 / 496 » Quadtrees as an Abstract Domain |
171
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
160
click to vote
CASC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
147
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
192
click to vote
SASO
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
170
click to vote
SOCA
2007
IEEE
16 years 25 days ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...