4762 search results - page 841 / 953 » About the use of protein models |
107
click to vote
SLP
1994
15 years 2 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
114
click to vote
WCE
2007
15 years 2 months ago
2007
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
111
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Current projects that automate the collection of provenance information use a centralized architecture for managing the resulting metadata - that is, provenance is gathered at rem...
109
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
149
click to vote
SOFTVIS
2010
ACM
15 years 1 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...