Sciweavers

1014 search results - page 175 / 203
» The Business Case of HCI
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 1 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
WSC
2008
15 years 1 days ago
Simulation based sales forecasting on retail small stores
As the competition becomes more and more intense, many retail small store chain operators are eager to know how to evaluate new store locations quantitatively to support a scienti...
Hairong Lv, Xinxin Bai, Wen Jun Yin, Jin Dong
WSC
2008
15 years 1 days ago
Conceptual modelling: Knowledge acquisition and model abstraction
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
Kathy Kotiadis, Stewart Robinson
ACMICEC
2008
ACM
222views ECommerce» more  ACMICEC 2008»
14 years 11 months ago
A seller's perspective characterization methodology for online auctions
Online auction services have reached great popularity and revenue over the last years. A key component for this success is the seller. Few studies proposed analyzing how the selle...
Arlei Silva, Pedro Calais, Adriano M. Pereira, Fer...
CIMCA
2005
IEEE
14 years 11 months ago
Customised Customer Support Using a Soft Computing Approach
This paper describes the research and development of a methodology to identify the type of information required by the service advisor (CSA) within customer contact centre (CCC) e...
S. Shah, Rajkumar Roy, Ashutosh Tiwari, Basim Maje...