7715 search results - page 1067 / 1543 » Visual Rules Modeling |
186
click to vote
LOPSTR
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
290
click to vote
ALPIT
2008
IEEE
16 years 24 days ago
2008
IEEE
This paper proposes a Unified Dynamic Relation Tree (DRT) span for tree kernel-based semantic relation extraction between entity names. The basic idea is to apply a variety of lin...
166
click to vote
CIMCA
2008
IEEE
16 years 24 days ago
2008
IEEE
Online auctions have become extremely popular in recent years. Ability to predict winning bid prices accurately can help bidders to maximize their profit. This paper proposes a nu...
202
click to vote
ISORC
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
175
click to vote
TASE
2008
IEEE
16 years 21 days ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...