Sciweavers

1051 search results - page 60 / 211
» Protocols in the use of empirical software engineering artif...
Sort
View
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
SEM
2004
Springer
14 years 2 months ago
Integration of a Text Search Engine with a Java Messaging Service
Large-scale information processing applications must rapidly search through high volume streams of structured and unstructured textual data to locate useful information. Content-ba...
Justin Almquist, Ian Gorton, Jereme Haack
TASE
2009
IEEE
14 years 3 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
METRICS
2005
IEEE
14 years 2 months ago
Software, Performance and Resource Utilisation Metrics for Context-Aware Mobile Applications
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
Caspar Ryan, Pablo Rossi
VAMOS
2010
Springer
13 years 10 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...