6171 search results - page 282 / 1235 » The FrameNet Data and Software |
157
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
In recent years, dynamic program execution traces have been utilized in an attempt to better understand the runtime behavior of various software systems. The unfortunate reality of...
120
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
116
click to vote
XPU
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper examines analogies and differences derived by the adoption of Agile Methodologies (AMs) in a set of software companies from the point of view of project manage...
115
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
The current commercial anti-virus software detects a virus only after the virus has appeared and caused damage. Motivated by the standard signature-based technique for detecting v...
148
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...