Sciweavers

20655 search results - page 399 / 4131
» Exploring Software Systems
Sort
View
187
Voted
PDSE
1998
215views more  PDSE 1998»
15 years 8 months ago
Distributed Information Systems - Issues and Challenges for the Software Engineering Research Community
With the ever-increasing use of object-oriented middleware in distributed information systems, new challenges are facing the software engineering profession. Often, it is simply a...
Ian Gorton
TC
1998
15 years 6 months ago
Analysis of Preventive Maintenance in Transactions Based Software Systems
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging.â€...
Sachin Garg, Antonio Puliafito, Miklós Tele...
193
Voted
HOTOS
1997
IEEE
15 years 11 months ago
Operating Systems for Component Software Environments
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
Noah Mendelsohn
ICTAI
2003
IEEE
16 years 3 days ago
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...
FM
2003
Springer
160views Formal Methods» more  FM 2003»
16 years 1 days ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan