Sciweavers

1309 search results - page 20 / 262
» Revenue management: Models and methods
Sort
View
CAISE
2006
Springer
15 years 9 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»
15 years 9 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»
15 years 11 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
177
Voted
CAISE
2008
Springer
15 years 8 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
15 years 7 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