933 search results - page 106 / 187 » Extending Forward Checking |
106
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
107
click to vote
BPM
2005
Springer
15 years 6 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
120
click to vote
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the do...
120
click to vote
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...