3733 search results - page 120 / 747 » Logics of communication and change |
111
click to vote
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
Separate optimizations of logic and layout have been thoroughly studied in the past and are well documented for common benchmarks. However, to be competitive, modern circuit optim...
114
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
132
click to vote
CONCUR
1992
Springer
15 years 5 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
123
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...