Sciweavers

4636 search results - page 622 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
DSN
2005
IEEE
16 years 1 months ago
Authenticated System Calls
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, ...
WOSP
2005
ACM
16 years 1 months ago
Run-time performance management of the Siena publish/subscribe middleware
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
Mauro Caporuscio, Antinisca Di Marco, Paola Invera...
APLAS
2006
ACM
16 years 1 months ago
A Practical String Analyzer by the Widening Approach
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo...
ICSE
1997
IEEE-ACM
15 years 11 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
DASFAA
2008
IEEE
149views Database» more  DASFAA 2008»
15 years 8 months ago
A Test Paradigm for Detecting Changes in Transactional Data Streams
A pattern is considered useful if it can be used to help a person to achieve his goal. Mining data streams for useful patterns is important in many applications. However, data stre...
Willie Ng, Manoranjan Dash