991 search results - page 162 / 199 » Analyzing URL queries |
ECMDAFA
2009
Springer
14 years 18 days ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
FOSSACS
2009
Springer
14 years 17 days ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
CLADE
2004
IEEE
14 years 13 days ago
2004
IEEE
This paper presents the design, development and evaluation of a prototype peer-to-peer collaboratory for imaging, analyzing, and seamlessly sharing tissue microarrays (TMA), corre...
COOPIS
2004
IEEE
14 years 13 days ago
2004
IEEE
Project JXTA is the first peer-to-peer application development infrastructure, consisting of standard protocols and multi-language implementations. A JXTA peer network is a comple...
DEXA
2000
Springer
14 years 9 days ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...