Sciweavers

7404 search results - page 297 / 1481
» Software performance antipatterns
Sort
View
ISESE
2005
IEEE
15 years 11 months ago
Cloning by accident: an empirical study of source code cloning across software systems
One of the key goals of open source development is the sharing of knowledge, experience, and solutions that pertain to a software system and its problem domain. Source code clonin...
Raihan Al-Ekram, Cory Kapser, Richard C. Holt, Mic...
BIRTHDAY
2005
Springer
15 years 11 months ago
Formal Software Development in MAYA
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
Dieter Hutter, Serge Autexier
COORDINATION
2005
Springer
15 years 11 months ago
Coordination Systems in Role-Based Adaptive Software
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...
Alan W. Colman, Jun Han
ISSRE
2003
IEEE
15 years 11 months ago
DARX - A Framework For The Fault-Tolerant Support Of Agent Software
This paper presents DARX, our framework for building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent platforms constitute a very strong ...
Olivier Marin, Marin Bertier, Pierre Sens
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
15 years 11 months ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...