866 search results - page 101 / 174 » Dynamical evolution analysis of the object-oriented software... |
SCAM
2003
IEEE
14 years 1 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
WSDM
2012
ACM
12 years 3 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
The quality of information is crucial for decision making in many mission-critical applications such as battlefield operations and intelligence analysis. However, as the system b...
CC
2001
Springer
14 years 9 days ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...