Sciweavers

2288 search results - page 381 / 458
» Learning Business Process Models: A Case Study
Sort
View
MANSCI
2008
102views more  MANSCI 2008»
15 years 4 months ago
Revenue Management of Callable Products
We introduce callable products into a finite-capacity, two-period sales or booking process where low-fare customers book first. A callable product is a unit of capacity sold at th...
Guillermo Gallego, S. G. Kou, Robert Phillips
PUC
2008
117views more  PUC 2008»
15 years 3 months ago
The disenchantment of affect
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
Phoebe Sengers, Kirsten Boehner, Michael Mateas, G...
DATE
2008
IEEE
101views Hardware» more  DATE 2008»
15 years 10 months ago
A Game-Theoretic Approach to Real-Time System Testing
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
ER
2004
Springer
103views Database» more  ER 2004»
15 years 9 months ago
Querying Heterogeneous Spatial Databases: Combining an Ontology with Similarity Functions
This paper uses a knowledge-based approach to querying heterogeneous spatial databases based on an ontology and conceptual and attribute similarities. The ontology, which may be in...
Mariella Gutiérrez, M. Andrea Rodríg...
FPL
2006
Springer
103views Hardware» more  FPL 2006»
15 years 8 months ago
A System Design Methodology for Reducing System Integration Time and Facilitating Modular Design Verification
This paper provides a realistic case study of using the previously introduced SIMPPL system architectural model, which fixes the physical interface and communication protocols bet...
Lesley Shannon, Blair Fort, Samir Parikh, Arun Pat...