Sciweavers

392 search results - page 49 / 79
» Reversal Complexity Revisited
Sort
View
SIGSOFT
2005
ACM
14 years 9 months ago
Moose: an agile reengineering environment
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...
Oscar Nierstrasz, Stéphane Ducasse, Tudor G...
WCRE
2007
IEEE
14 years 2 months ago
A Model to Understand the Building and Running Inter-Dependencies of Software
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
Daniel M. Germán, Jesús M. Gonz&aacu...
TGC
2005
Springer
14 years 2 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
3DPVT
2006
IEEE
216views Visualization» more  3DPVT 2006»
14 years 12 days ago
Object Modeling with Guaranteed Fulfillment of Geometric Constraints
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
Da-Chuan Cheng, Xiaoyi Jiang
ESANN
2007
13 years 10 months ago
Transition from initialization to working stage in biologically realistic networks
Natural cortical neurons form functional networks through a complex set of developmental steps. A key process in early development is the transition of the spontaneous network dyna...
Andreas Herzog, Karsten Kube, Bernd Michaelis, Ana...