Sciweavers

3667 search results - page 279 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
ISORC
2008
IEEE
16 years 28 days ago
Obstacles in Worst-Case Execution Time Analysis
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
Raimund Kirner, Peter P. Puschner
GI
2007
Springer
16 years 21 days ago
Test Automation Meets Static Analysis
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
Jan Peleska, Helge Löding, Tatiana Kotas
IV
2006
IEEE
190views Visualization» more  IV 2006»
16 years 16 days ago
Analyzing Actors and Their Discussion Topics by Semantic Social Network Analysis
iQuest is a novel software system to improve understanding of organizational phenomena with greater precision, clarity, and granularity than has previously been possible. It permi...
Peter A. Gloor, Yan Zhao
JGS
2000
89views more  JGS 2000»
15 years 6 months ago
Part 2 The Link between GIS and spatial analysis
Abstract: Some ideas are formulated on the challenges presented to GIS, spatial analysis and spatial econometrics that result from recent trends in social science research. These n...
Luc Anselin
PEPM
2009
ACM
16 years 3 months ago
Linear logical approximations
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
Robert J. Simmons, Frank Pfenning