8031 search results - page 1141 / 1607 » Knowledge and Workflow Systems |
185
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
196
click to vote
IDTRUST
2009
ACM
16 years 1 months ago
2009
ACM
Organizations owning cyber-infrastructure assets face large scale distributed attacks on a regular basis. In the face of increasing complexity and frequency of such attacks, we ar...
209
click to vote
SI3D
2009
ACM
16 years 1 months ago
2009
ACM
We present a comprehensive system for multiscale navigation of 3-dimensional scenes, and demonstrate our approach on multiscale datasets such as the Earth. Our system incorporates...
205
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
A wealth of information is available only in web pages, patents, publications etc. Extracting information from such sources is challenging, both due to the typically complex langu...
163
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Legged robots offer the potential to navigate highly challenging terrain, and there has recently been much progress in this area. However, a great deal of this recent work has ...