Sciweavers

4258 search results - page 606 / 852
» Languages and Interactive Software Development
Sort
View
ICSE
2007
IEEE-ACM
15 years 10 months ago
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
ASPLOS
2006
ACM
15 years 9 months ago
Mercury and freon: temperature emulation and management for server systems
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
Taliver Heath, Ana Paula Centeno, Pradeep George, ...
CASES
2006
ACM
15 years 9 months ago
A dynamic binary instrumentation engine for the ARM architecture
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
Kim M. Hazelwood, Artur Klauser
ERLANG
2006
ACM
15 years 9 months ago
Dryverl: a flexible Erlang/C binding compiler
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
Romain Lenglet, Shigeru Chiba
APSEC
2005
IEEE
15 years 9 months ago
Model-Driven Semantic Web Service Composition
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
Roy Grønmo, Michael C. Jaeger