Sciweavers

1051 search results - page 97 / 211
» Protocols in the use of empirical software engineering artif...
Sort
View
SOCO
2005
Springer
14 years 2 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
HIPC
2007
Springer
14 years 25 days ago
Accomplishing Approximate FCFS Fairness Without Queues
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
K. Subramani, Kamesh Madduri
CCS
2006
ACM
14 years 20 days ago
Modelling the relative strength of security protocols
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...
Ho Chung, Clifford Neuman
CLEIEJ
2000
101views more  CLEIEJ 2000»
13 years 8 months ago
Keeping the Software Documentation Up to Date in Small Companies
Software configuration management is one of the first requirements to achieve quality in the software process. However, these activities are very difficult to be introduced, mainl...
Renato Ferrari Pacheco, Rosely Sanches
ISSRE
2010
IEEE
13 years 7 months ago
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
Heiko Koziolek, Bastian Schlich, Carlos G. Bilich