14331 search results - page 42 / 2867 » On the modeling and analysis of obligations |
147
click to vote
WSC
1997
15 years 3 months ago
1997
The role of modeling and simulation is receiving much press of late. However, the lack of practice in employing a link between the two is alarming. A static model is used to under...
113
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
149
Voted
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper we propose a new framework for modeling 2D shapes. A shape is first described by a sequence of local features (e.g., curvature) of the shape boundary. The resulting ...
139
click to vote
INFORMATICALT
2007
15 years 1 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
136
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
We propose a novel nonparametric Bayesian model, Dual Hierarchical Dirichlet Processes (Dual-HDP), for trajectory analysis and semantic region modeling in surveillance settings, i...