Sciweavers

109 search results - page 9 / 22
» The state of the art in end-user software engineering
Sort
View
COMPSAC
2009
IEEE
14 years 2 months ago
Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer?
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data fulï¬...
Rafael Accorsi
COMPSAC
1997
IEEE
13 years 12 months ago
The use of industrial-strength formal methods
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
Jonathan P. Bowen, Michael G. Hinchey
COMPSAC
2009
IEEE
13 years 11 months ago
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
Aida Causevic, Aneta Vulgarakis
DICS
2006
13 years 9 months ago
Advances in the Design and Implementation of Group Communication Middleware
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
Daniel C. Bünzli, Rachele Fuzzati, Sergio Men...
ICSE
2009
IEEE-ACM
13 years 5 months ago
Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009)
Architectural knowledge has been recognized by the software architecture community as a self-contained research area in software architecture, and brought along some promising res...
Patricia Lago, Paris Avgeriou, Philippe Kruchten