1833 search results - page 275 / 367 » Mechanized Verification with Sharing |
166
click to vote
BPM
2007
Springer
16 years 16 days ago
2007
Springer
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...
139
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
184
click to vote
ISICA
2007
Springer
16 years 15 days ago
2007
Springer
The standard Particle Swarm Optimization (PSO) algorithm is a novel evolutionary algorithm in which each particle studies its own previous best solution and the group’s previous ...
249
click to vote
IWCLS
2007
Springer
16 years 15 days ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
148
click to vote
NETCOOP
2007
Springer
16 years 14 days ago
2007
Springer
In this paper we introduce a pricing scheme to be employed between a group of Internet service providers (ISPs) and a customer who wishes to initiate a packet flow from a fixed o...