2501 search results - page 383 / 501 » Logics with Rank Operators |
176
click to vote
PRIMA
2007
Springer
16 years 16 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 ...
152
click to vote
SAS
2007
Springer
16 years 16 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...
143
click to vote
CSFW
2006
IEEE
16 years 15 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 ...
144
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
172
click to vote
ASAP
2005
IEEE
16 years 1 days ago
2005
IEEE
On public communication networks such as the Internet, data confidentiality can be provided by symmetric-key ciphers. One of the most common operations used in symmetric-key ciphe...