571 search results - page 76 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
ICDCSW
2006
IEEE
15 years 3 months ago
2006
IEEE
Reputation-based mechanisms and policies are vulnerable to the submission of untruthful ratings. In this paper, we define and analyze a game-theoretic model that captures the dyn...
EUROPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
CCGRID
2004
IEEE
15 years 1 months ago
2004
IEEE
We conduct computer simulation experiments in pre-operative planning of vascular reconstruction with a physician in the experimental loop. We constructed a problem-solving environ...
113
click to vote
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...
106
click to vote
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...