Sciweavers

2404 search results - page 275 / 481
» Postmodernism and Control Engineering
Sort
View
SIGSOFT
2001
ACM
16 years 6 months ago
An empirical study on the utility of formal routines to transfer knowledge and experience
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
Reidar Conradi, Tore Dybå
ICSE
2004
IEEE-ACM
16 years 6 months ago
MSR 2004: International Workshop on Mining Software Repositories
A one-day workshop was held on the topic of mining software repositories at ICSE 2004 in Edinburgh, Scotland. The workshop brought together researchers and practitioners in order ...
Ahmed E. Hassan, Richard C. Holt, Audris Mockus
135
Voted
ICSE
2004
IEEE-ACM
16 years 6 months ago
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
Because it takes time and trust to establish agreement, traditional consensus-based architectural styles cannot safely accommodate resources that change faster than it takes to tr...
Rohit Khare, Richard N. Taylor
182
Voted
ICSE
2004
IEEE-ACM
16 years 6 months ago
Using Compressed Bytecode Traces for Slicing Java Programs
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
Tao Wang, Abhik Roychoudhury
ICSE
2007
IEEE-ACM
16 years 6 months ago
When Role Models Have Flaws: Static Validation of Enterprise Security Policies
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
Marco Pistoia, Stephen J. Fink, Robert J. Flynn, E...