18924 search results - page 61 / 3785 » Conformance of Distributed Systems |
107
Voted
RECOMB
2002
Springer
16 years 2 months ago
2002
Springer
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
125
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
117
Voted
ICEIS
2006
IEEE
15 years 8 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
127
Voted
ISMB
1994
15 years 3 months ago
1994
Wepresent algorithms for kinematic manipulation of molecular chains subject to fixed bond lengths and bond angles. They are useful for calculating conformations of a molecule subj...
106
Voted
SIGSOFT
2010
ACM
15 years 14 days ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...