223 search results - page 24 / 45 » Multi-Valued Model Checking via Classical Model Checking |
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
ENTCS
2007
14 years 9 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
76
Voted
ENTCS
2007
14 years 9 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
101
Voted
CCS
2008
ACM
14 years 11 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...