10038 search results - page 1799 / 2008 » Model Checking for Managers |
140
click to vote
AMEC
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents iAuctionMaker as a novel tool that serves as a decision support for e-sourcing professionals on their pursuing of auction optimisation. Given a set of items to ...
156
Voted
CDVE
2004
Springer
15 years 10 months ago
2004
Springer
Creativity has become a valuable asset, given the fast paced changes most companies must nowadays deal with. Companies now look for creative, highly adaptive individuals who can ex...
138
Voted
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
134
Voted
COCOON
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The supply chain between manufacturers and retailers always includes transshipments through a network of locations. A major challenge in making demand meet supply has bee...
145
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...