Sciweavers

3763 search results - page 335 / 753
» Component-Based Software Engineering Processes
Sort
View
FSEN
2009
Springer
16 years 1 months ago
Equational Reasoning on Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
ICSM
2005
IEEE
16 years 9 days ago
The Role of Refactorings in API Evolution
Frameworks and libraries change their APIs. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and ideas have been propos...
Danny Dig, Ralph Johnson
PPPJ
2004
ACM
16 years 4 days ago
A low-footprint class loading mechanism for embedded Java virtual machines
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities. We d...
Christophe Rippert, Alexandre Courbot, Gilles Grim...
PEPM
2004
ACM
16 years 2 days ago
Fusion with stacks and accumulating parameters
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
Susumu Nishimura
AUIC
2002
IEEE
15 years 11 months ago
Computer-Aided Sketching to Capture Preliminary Design
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
Mark D. Apperley, Beryl Plimmer