1054 search results - page 178 / 211 » Model Transformations in the Model-Based Development of Real... |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
CEEMAS
2007
Springer
14 years 23 days ago
2007
Springer
Multi-Agent Systems (MAS) in health-care domains are showing a rapid increase, in order to manage complex tasks and adapt gracefully to unexpected events. On the other hand, the la...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Path computation elements (PCE’s) are used to compute end-to-end paths across multiple areas. Multiple PCE’s may be dedicated to each area to provide sufficient path...
ISMM
2009
Springer
14 years 3 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...