2934 search results - page 255 / 587 » Universality in Multi-Agent Systems |
212
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
145
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
163
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
This study addresses a long-standing and wellrecognized problem in KM research, namely the lack of conceptual integration and a cumulative tradition. Knowledge management needs an...
188
click to vote
ICDE
2006
IEEE
16 years 19 days ago
2006
IEEE
The window query model is widely used in data stream management systems where the focus of a continuous query is limited to a set of the most recent tuples. In this dissertation, ...
181
click to vote
CCGRID
2005
IEEE
16 years 6 days ago
2005
IEEE
Large grid installations require global access to massive data stores. Parallel file systems give high throughput within a LAN, but cross-site data transfers lack seamless integra...