Sciweavers

7715 search results - page 599 / 1543
» Visual Rules Modeling
Sort
View
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
16 years 1 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...
ISIPTA
2005
IEEE
125views Mathematics» more  ISIPTA 2005»
16 years 22 days ago
Evidential modeling for pose estimation
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
Fabio Cuzzolin, Ruggero Frezza
APWEB
2004
Springer
16 years 17 days ago
A Knowledge-Based Data Model and Query Algebra for the Next-Generation Web
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...
Qiujian Sheng, Zhongzhi Shi
FASE
2001
Springer
15 years 11 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
SP
1999
IEEE
194views Security Privacy» more  SP 1999»
15 years 11 months ago
Detecting Intrusions using System Calls: Alternative Data Models
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
Christina Warrender, Stephanie Forrest, Barak A. P...