Sciweavers

4957 search results - page 726 / 992
» Simplifying Distributed System Development
Sort
View
PVM
2004
Springer
15 years 9 months ago
A Refinement Strategy for a User-Oriented Performance Analysis
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
Jan Lemeire, Andy Crijns, John Crijns, Erik F. Dir...
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 9 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
126
Voted
EDOC
2003
IEEE
15 years 9 months ago
Conversation-oriented Protocols for Contract Negotiations
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...
James E. Hanson, Zoran Milosevic
ICALT
2003
IEEE
15 years 9 months ago
A Metadata Model for Capturing Presentations
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
Ralf Einhorn, Stephan Olbrich, Wolfgang Nejdl
ERLANG
2003
ACM
15 years 9 months ago
Extending the VoDKA architecture to improve resource modelling
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
Juan José Sánchez Penas, Carlos Abal...