1676 search results - page 210 / 336 » Formal Development of Self-organising Systems |
224
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
165
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
204
click to vote
FIW
2007
15 years 8 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
174
click to vote
ENTCS
2008
15 years 6 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
189
click to vote
FGCS
2006
15 years 6 months ago
2006
CSCL systems can benefit from using grids since they offer a common infrastructure enabling the access to an extended pool of resources that can provide supercomputing capabilitie...