2858 search results - page 446 / 572 » Logics with Aggregate Operators |
149
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days ago
2007
Springer
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...
186
click to vote
POLICY
2007
Springer
16 years 14 days ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
173
click to vote
PRIMA
2007
Springer
16 years 14 days ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
151
click to vote
SAS
2007
Springer
16 years 13 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
140
click to vote
CSFW
2006
IEEE
16 years 12 days ago
2006
IEEE
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...