2152 search results - page 126 / 431 » A Framework for Modeling DNA Based Molecular Systems |
172
click to vote
ISCOPE
1999
Springer
15 years 10 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
175
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
165
click to vote
COLCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
159
click to vote
TSMC
2010
15 years 1 months ago
2010
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...
147
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...