Sciweavers

2162 search results - page 156 / 433
» E-Crime Investigative Technologies
Sort
View
GCC
2004
Springer
15 years 12 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
Frank Dylla, Reinhard Moratz
DISCEX
2003
IEEE
15 years 12 months ago
Cooperative Response Strategies for Large Scale Attack Mitigation
We introduce models for cooperative mitigating response strategies to suppress large scale Internet worm attack. In our models, cooperating members communicate with others using a...
D. Nojiri, Jeff Rowe, Karl N. Levitt
HLK
2003
IEEE
15 years 12 months ago
A Model-Based Method For Building Reconstruction
In this paper model-based reconstruction methods are applied to the detailed reconstruction of buildings from close-range images. The 3D points obtained through image matching are...
Konrad Schindler, Joachim Bauer
IV
2003
IEEE
92views Visualization» more  IV 2003»
15 years 12 months ago
Visualizing Weighted Edges in Graphs
This paper introduces a new edge length heuristic that finds a graph layout where the edge lengths are proportional to the weights on the graph edges. The heuristic can be used in...
Peter Rodgers, Paul Mutton