1833 search results - page 275 / 367 » Mechanized Verification with Sharing |
143
click to vote
BPM
2007
Springer
15 years 10 months 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...
116
Voted
CCS
2007
ACM
15 years 10 months 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...
161
Voted
ISICA
2007
Springer
15 years 10 months 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 ...
215
Voted
IWCLS
2007
Springer
15 years 10 months 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...
119
click to vote
NETCOOP
2007
Springer
15 years 10 months 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...