2979 search results - page 452 / 596 » Modelling secure multiagent systems |
208
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
179
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
181
click to vote
ICEBE
2005
IEEE
16 years 13 days ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
186
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper describes a methodology that could be used by a utility to estimate the actual cost of congestion on its transmission system using limited, non-state estimator data. Th...
204
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
The use of good random numbers is essential to the integrity of many mission-critical systems. However, when such systems are replicated for Byzantine fault tolerance, a serious i...