2373 search results - page 93 / 475 » Complexities for generalized models of self-assembly |
180
click to vote
APCSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
126
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
107
click to vote
JANCL
2006
15 years 4 months ago
2006
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are welldesi...
156
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...
149
click to vote
ALC
1997
15 years 5 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...