2891 search results - page 35 / 579 » More or Less Elaborate |
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
ER
2006
Springer
15 years 1 months ago
2006
Springer
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
ICWS
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we provide an analysis of the impacts of some reputation parameters that an agent-based Web service holds while being active in the environment. To this end, we depl...
WISES
2008
14 years 11 months ago
2008
A configuration with heterogeneous sensors using different measurement approaches most likely overcome the problem of correlated measurement errors as they occur when employing a ...
IIWAS
2003
14 years 11 months ago
2003
Since the emergence of e-learning several years ago, the anticipated benefits of sharing content using P2P networks have not really been achieved yet. Clearly, sharing of music an...