Sciweavers

4745 search results - page 557 / 949
» Discretization: An Enabling Technique
Sort
View
198
Voted
WCRE
2009
IEEE
16 years 2 months ago
Automatic Package Coupling and Cycle Minimization
Abstract—Object-oriented (OO) software is usually organized into subsystems using the concepts of package or module. Such modular structure helps applications to evolve when faci...
Hani Abdeen, Stéphane Ducasse, Houari A. Sa...
204
Voted
ICRA
2009
IEEE
139views Robotics» more  ICRA 2009»
16 years 2 months ago
Laser-based navigation enhanced with 3D time-of-flight data
— Navigation and obstacle avoidance in robotics using planar laser scans has matured over the last decades. They basically enable robots to penetrate highly dynamic and populated...
Fang Yuan, Agnes Swadzba, Roland Philippsen, Orhan...
186
Voted
BPM
2009
Springer
146views Business» more  BPM 2009»
16 years 2 months ago
Instantaneous Soundness Checking of Industrial Business Process Models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
Dirk Fahland, Cédric Favre, Barbara Jobstma...
211
Voted
ICFEM
2009
Springer
16 years 2 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
196
Voted
MIDDLEWARE
2009
Springer
16 years 2 months ago
A Cost-Sensitive Adaptation Engine for Server Consolidation of Multitier Applications
Abstract. Virtualization-based server consolidation is an important technique for cost and energy reductions in data center environments and a key enabler of cloud computing. Howev...
Gueyoung Jung, Kaustubh R. Joshi, Matti A. Hiltune...