9210 search results - page 374 / 1842 » Analyzing Real-Time Systems |
156
click to vote
ICEIS
2003
IEEE
16 years 1 days ago
2003
IEEE
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
158
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
149
click to vote
IV
2006
IEEE
16 years 24 days ago
2006
IEEE
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...
217
click to vote
IEAAIE
2005
Springer
16 years 8 days ago
2005
Springer
Association rules discovery is a fundamental task in spatial data mining where data are naturally described at multiple levels of granularity. ARES is a spatial data mining system ...
137
click to vote
GPCE
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...