Sciweavers

5247 search results - page 738 / 1050
» The Generalized A* Architecture
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 24 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
WETICE
2006
IEEE
16 years 24 days ago
On Representing Instance Changes in Adaptive Process Management Systems
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
Stefanie Rinderle, Ulrich Kreher, Markus Lauer, Pe...
ACMICEC
2006
ACM
217views ECommerce» more  ACMICEC 2006»
16 years 24 days ago
Adaptive decision support system (ADSS) for B2C e-commerce
This paper covers the research problem of supporting users' decision making in E-Commerce systems with complex choices, and design of an Adaptive Decision Support System (ADS...
Faisal Al-Qaed, Alistair G. Sutcliffe
ACMICEC
2006
ACM
150views ECommerce» more  ACMICEC 2006»
16 years 23 days ago
A framework for managing optimization models for supply chain software agents
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
Jae Kyu Lee, Yong Sik Chang
ANCS
2006
ACM
16 years 23 days ago
Design of a web switch in a reconfigurable platform
The increase of the web traffic has created the need for web switches that are able to balance the traffic to the server farms based on their contents (e.g. layer 7 switching). In...
Christoforos Kachris, Stamatis Vassiliadis