2979 search results - page 452 / 596 » Modelling secure multiagent systems |
156
Voted
ATAL
2007
Springer
15 years 7 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...
128
Voted
FOSSACS
2005
Springer
15 years 9 months 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 ...
132
Voted
ICEBE
2005
IEEE
15 years 9 months 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...
137
Voted
HICSS
2003
IEEE
15 years 9 months 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...
137
Voted
ICPADS
2008
IEEE
15 years 10 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...