2152 search results - page 30 / 431 » A Framework for Modeling DNA Based Molecular Systems |
180
click to vote
JOT
2008
15 years 6 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
162
click to vote
PKDD
1999
Springer
15 years 10 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
167
click to vote
DIMVA
2009
15 years 7 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
174
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...
157
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...