Sciweavers

1529 search results - page 221 / 306
» A Taxonomy of Software Component Models
Sort
View
CGO
2009
IEEE
16 years 8 days ago
Techniques for Region-Based Register Allocation
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
Ivan D. Baev
AICCSA
2007
IEEE
120views Hardware» more  AICCSA 2007»
15 years 11 months ago
Using Maintainability Based Risk Assessment and Severity Analysis in Prioritizing Corrective Maintenance Tasks
:- A software product spends more than 65% of its lifecycle in maintenance. Software systems with good maintainability can be easily modified to fix faults. In this paper, we adapt...
Walid Abdelmoez, Katerina Goseva-Popstojanova, Han...
SEFM
2005
IEEE
15 years 11 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
DEXA
2005
Springer
138views Database» more  DEXA 2005»
15 years 11 months ago
Evolving XML Schemas and Documents Using UML Class Diagrams
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diļ¬...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
SEM
2004
Springer
15 years 10 months ago
A Middleware Centric Approach to Building Self-Adapting Systems
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
Svein O. Hallsteinsen, Jacqueline Floch, Erlend St...