Sciweavers

858 search results - page 11 / 172
» A Vision for International Standardization in Software and S...
Sort
View
WOSP
2004
ACM
14 years 1 months ago
Software performance engineering of component-based systems
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
Antonia Bertolino, Raffaela Mirandola
AC
2003
Springer
14 years 2 days ago
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
Wil M. P. van der Aalst
FAC
2006
122views more  FAC 2006»
13 years 8 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
SCAM
2007
IEEE
14 years 2 months ago
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
Walter Binder, Jarle Hulaas, Philippe Moret
SEM
2004
Springer
14 years 1 months ago
Extending Standard Java Runtime Systems for Resource Management
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
Walter Binder, Jarle Hulaas