11063 search results - page 245 / 2213 » On the existence of universal models |
195
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
168
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: With the advent of high throughput biotechnology data acquisition platforms such as micro arrays, SNP chips and mass spectrometers, data sets with many more variables ...
179
Voted
PODC
2006
ACM
16 years 17 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
184
click to vote
APLAS
2005
ACM
16 years 5 days ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
185
click to vote
MFCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...