688 search results - page 71 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
159
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
169
click to vote
HPDC
2010
IEEE
15 years 6 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
146
Voted
PREMI
2009
Springer
16 years 3 days ago
2009
Springer
Content based image retrieval (CBIR) has been well studied in the computer vision and multimedia community. Content free image retrieval (CFIR) methods, and their complementary cha...
149
click to vote
WSC
2007
15 years 7 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
139
click to vote
BILDMED
2009
15 years 6 months ago
2009
To ensure precise tumor irradiation in radiotherapy a stable breathing pattern is mandatory as tumors are moving due to respiratory motion. Consequentially, irregularities of respi...