3667 search results - page 222 / 734 » Software Rejuvenation - Modeling and Analysis |
119
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we study the properties of a new packet trace compression method based on clustering of TCP flows. With our proposed method, the compression ratio that we achieve i...
111
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
151
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
One of the limitations in traditional instant messaging platforms is that they predominantly rely on text messages as the primary form of expression. This paper presents FAIM, an ...
134
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
129
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...