Sciweavers

483 search results - page 20 / 97
» Experimental Software Engineering: A Report on the State of ...
Sort
View
KBSE
2009
IEEE
14 years 3 months ago
Towards Augmenting Requirements Models with Preferences
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
Sotirios Liaskos, Sheila A. McIlraith, John Mylopo...
COMPSAC
2009
IEEE
14 years 3 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
14 years 25 days 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
14 years 16 days 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 10 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...