Sciweavers

369 search results - page 67 / 74
» diagrams 2008
Sort
View
FASE
2008
Springer
13 years 8 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
GPC
2008
Springer
13 years 7 months ago
Layered Peer-to-Peer Architecture for Mobile Web Services via Converged Cellular and Ad Hoc Networks
Mobile communication technology is rapidly developed with the enhanced networking capacities as well as the expanding population of mobile subscribers. Providing Web services via ...
Zhonghong Ou, Meina Song, Hui Chen, Junde Song
CAD
2008
Springer
13 years 6 months ago
Improved Binary Space Partition merging
This paper presents a new method for evaluating boolean set operations between Binary Space Partition (BSP) trees. Our algorithm has many desirable features including both numeric...
Mikola Lysenko, Roshan D'Souza, Ching-Kuan Shene
CORR
2008
Springer
86views Education» more  CORR 2008»
13 years 6 months ago
Dynamic System Adaptation by Constraint Orchestration
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
Luuk Groenewegen, Erik P. de Vink
CORR
2008
Springer
111views Education» more  CORR 2008»
13 years 6 months ago
Linear-Time Algorithms for Geometric Graphs with Sublinearly Many Crossings
We provide linear-time algorithms for geometric graphs with sublinearly many crossings. That is, we provide algorithms running in O(n) time on connected geometric graphs having n ...
David Eppstein, Michael T. Goodrich, Darren Strash