Sciweavers

2162 search results - page 156 / 433
» E-Crime Investigative Technologies
Sort
View
183
Voted
GCC
2004
Springer
16 years 25 days 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 ...
183
Voted
SPATIALCOGNITION
2004
Springer
16 years 24 days 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
199
Voted
DISCEX
2003
IEEE
16 years 22 days 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
197
Voted
HLK
2003
IEEE
16 years 22 days 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
201
Voted
IV
2003
IEEE
92views Visualization» more  IV 2003»
16 years 22 days 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