11381 search results - page 344 / 2277 » Connectivity |
174
click to vote
HPCC
2005
Springer
16 years 6 days ago
2005
Springer
In this paper a new and powerful computer simulation capability for the characterization of carbonaceous nanoparticle assemblies across multiple, connected scales, starting from th...
267
click to vote
PDCAT
2005
Springer
16 years 4 days ago
2005
Springer
This paper considers the on-line traffic grooming problem in WDM-TDM switched optical mesh networks without wavelength conversion capability. The objective is to efficiently rou...
190
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
184
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
213
click to vote
MDAFA
2004
Springer
16 years 1 days ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...