Sciweavers

1309 search results - page 20 / 262
» Revenue management: Models and methods
Sort
View
CAISE
2006
Springer
14 years 1 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
CAV
2006
Springer
120views Hardware» more  CAV 2006»
14 years 1 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
14 years 3 months ago
A Systems Model for Knowledge Management: A Rhetorical Heuristic Process
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
Charles E. Beck, Gary R. Schornack
CAISE
2008
Springer
13 years 11 months ago
A Process Engineering Method based on a Process Domain Model and Patterns
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...
Charlotte Hug, Agnès Front, Dominique Rieu
RIVF
2003
13 years 11 months ago
Survey of Co-ordination of En Route Air Traffic Conflicts Resolution Modelling Methods
— The en-route conflict resolution remains a major concern for Air Traffic Management (ATM), especially in core European airspace where the current Air Traffic Control (ATC) syst...
Huy-Hoang Nguyen