260 search results - page 28 / 52 » Operational Information Systems: An Example from the Airline... |
ASM
2008
ASM
13 years 10 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Today, the means for attaining competitive advantage with information technology (IT) has shifted from efficiently managing the organization's operations to discovering ways ...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
An automated system for planning and optimization of lumber production using Machine Vision and Computed Tomography (CT) is proposed. Cross-sectional CT images of hardwood logs are...
IWIA
2005
IEEE
14 years 1 months ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...