1767 search results - page 210 / 354 » An Integrated Model for Cellular Analysis |
157
click to vote
CAISE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
158
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
176
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
The task of providing an optimal analysis of the state of the atmosphere requires the development of dynamic data-driven systems (d3 as) that efficiently integrate the observationa...
155
click to vote
ADC
2004
Springer
15 years 12 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
141
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...