Sciweavers

1037 search results - page 145 / 208
» Architecture Knowledge Management: Challenges, Approaches, a...
Sort
View
STTT
2008
134views more  STTT 2008»
14 years 9 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
OR
2010
Springer
14 years 4 months ago
A new multi-objective optimization formulation for rail-car fleet sizing problems
Abstract With potential application to a variety of industries, fleet sizing problems present a prevalent and significant challenge for engineers and managers. This is especially t...
Hamid Reza Sayarshad, Timothy Marler
LWA
2008
14 years 11 months ago
Compensating the Semantic Bias of Spreadsheets
Spreadsheets are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. They r...
Andrea Kohlhase, Michael Kohlhase
ESWS
2010
Springer
14 years 10 months ago
Efficient Semantic Event Processing: Lessons Learned in User Interface Integration
Abstract. Most approaches to application integration require an unambiguous exchange of events. Ontologies can be used to annotate the events exchanged and thus ensure a common und...
Heiko Paulheim
CII
2007
73views more  CII 2007»
14 years 9 months ago
Competency characterisation by means of work situation modelling
Nowadays companies have to face the rapid evolution of their competitive environment. In the field of design, project managers are aware of both the impact of the designers’ com...
Farouk Belkadi, Eric Bonjour, Maryvonne Dulmet