1087 search results - page 43 / 218 » Modelling and Implementing Complex Systems with Timebands |
117
click to vote
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
115
click to vote
IRMA
2000
15 years 3 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
113
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
126
click to vote
ATAL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...