5188 search results - page 51 / 1038 » Information Flow in Interactive Systems |
CC
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
WSC
1997
15 years 1 months ago
1997
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification o...
KI
2008
Springer
14 years 11 months ago
2008
Springer
The IDEX system is a prototype of an interactive dynamic Information Extraction (IE) system. A user of the system expresses an information request for a topic description which is ...
111
click to vote
SCP
1998
14 years 11 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
PPAM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...