290 search results - page 53 / 58 » New NFS Tracing Tools and Techniques for System Analysis |
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
APVIS
2011
12 years 7 months ago
2011
Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Many analysis techniques rely on co...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
MSS
1999
IEEE
13 years 12 months ago
1999
IEEE
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...
ITCC
2000
IEEE
14 years 1 days ago
2000
IEEE
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...