Sciweavers

6474 search results - page 377 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 28 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
ESCIENCE
2006
IEEE
15 years 8 months ago
Towards User-Defined Performance Monitoring of Distributed Java Applications
This paper presents a new approach to the issues of performance monitoring and visualization of distributed applications using the J-OCM monitoring system. We are focusing on the ...
Wlodzimierz Funika, Piotr Godowski, Piotr Pegiel, ...
WSR
2008
15 years 8 months ago
Towards Querying of Traceability Information in the Context of Software Evolution
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
Hannes Schwarz, Jürgen Ebert, Volker Riediger...
DSVIS
2008
Springer
15 years 8 months ago
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
Frédéric Jourde, Yann Laurillau, Alb...
CN
2010
94views more  CN 2010»
15 years 7 months ago
A market-based approach to managing the risk of peer-to-peer transactions
Ptrim is a purely decentralised application for performing peer-to-peer transactions. Instead of relying on a typical trust/reputation management approach, Ptrim allows its users t...
Stephanos Androutsellis-Theotokis, Diomidis Spinel...