Sciweavers

5832 search results - page 664 / 1167
» Software complexity and maintainability
Sort
View
VSTTE
2005
Springer
16 years 26 days ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
ADAEUROPE
2004
Springer
16 years 24 days ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
FASE
2004
Springer
16 years 23 days ago
Compositional Nested Long Running Transactions
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
Laura Bocchi
RE
2004
Springer
16 years 22 days ago
Understanding Requirements in Enterprise Systems Projects
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...
Jon Atle Gulla
SACRYPT
2004
Springer
136views Cryptology» more  SACRYPT 2004»
16 years 22 days ago
Cryptanalysis of a White Box AES Implementation
The white box attack context as described in [1, 2] is the common setting where cryptographic software is executed in an untrusted environment—i.e. an attacker has gained access ...
Olivier Billet, Henri Gilbert, Charaf Ech-Chatbi