2152 search results - page 159 / 431 » A Framework for Modeling DNA Based Molecular Systems |
166
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
209
click to vote
DIM
2005
ACM
15 years 8 months ago
2005
ACM
Identity federation is a powerful scheme that links accounts of users maintained distinctly by different business partners. The concept of network identity is a driver for accele...
206
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Breast cancer is the second most common form of cancer amongst females and also the fifth most cause of cancer deaths worldwide. In case of this particular type of malignancy, earl...
178
click to vote
TCS
2011
15 years 1 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
168
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...