Sciweavers

5945 search results - page 28 / 1189
» A Model for Projection and Action
Sort
View
CSFW
2005
IEEE
14 years 1 months ago
Nomad: A Security Model with Non Atomic Actions and Deadlines
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
Frédéric Cuppens, Nora Cuppens-Boula...
CVPR
2007
IEEE
14 years 9 months ago
A Hierarchical Model of Shape and Appearance for Human Action Classification
We present a novel model for human action categorization. A video sequence is represented as a collection of spatial and spatial-temporal features by extracting static and dynamic...
Juan Carlos Niebles, Fei-Fei Li 0002
ICTAI
2008
IEEE
14 years 2 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
CAISE
2001
Springer
14 years 6 days ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...
ATAL
2006
Springer
13 years 11 months ago
Towards formal model of adversarial action in multi-agent systems
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
Michal Pechoucek, Jan Tozicka, Martin Rehák