Sciweavers

351 search results - page 48 / 71
» Aspect-Oriented Approach to Operating System Development Emp...
Sort
View
82
Voted
ECAI
2006
Springer
15 years 1 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
81
Voted
SPLC
2008
14 years 11 months ago
Filtered Cartesian Flattening: An Approximation Technique for Optimally Selecting Features while Adhering to Resource Constraint
Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...
Jules White, B. Doughtery, Douglas C. Schmidt
96
Voted
WCE
2007
14 years 10 months ago
Surface Classification from Aircraft Icing Droplet Splash Images
— The build up of water ice on aircraft flight surfaces poses a significant safety risk. As a result, much effort has gone into studying this problem in order to understand how i...
Xueqing Zhang, Stuart Barnes, David W. Hammond
EJIS
2010
112views more  EJIS 2010»
14 years 9 months ago
Toward an 'IT Conflict-Resistance Theory': action research during IT pre-implementation
Most empirical research on users' resistance toward Information Technology (IT) has been conducted after implementation of IT in organisations. Little research has been done ...
Regis Meissonier, Emmanuel Houzé
CCE
2004
14 years 9 months ago
Optimal scheduling of multiproduct pipeline systems using a non-discrete MILP formulation
Multiproduct pipelines permit to transport large volumes of a wide range of refined petroleum products from major supply sources to distribution centers near market areas. Batches...
Diego C. Cafaro, Jaime Cerdá