9841 search results - page 488 / 1969 » Distributed Value Functions |
177
click to vote
ETFA
2005
IEEE
16 years 17 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
211
click to vote
EMSOFT
2005
Springer
16 years 14 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
171
click to vote
EUC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...
159
click to vote
MKM
2004
Springer
16 years 9 days ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
162
click to vote
ICDAR
2003
IEEE
16 years 7 days ago
2003
IEEE
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...