436 search results - page 61 / 88 » Decomposing constraint systems: equivalences and computation... |
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
186
click to vote
VLSID
2009
IEEE
16 years 6 months ago
2009
IEEE
Power density has been increasing at an alarming rate in recent processor generations resulting in high on-chip temperature. Higher temperature results in poor reliability and inc...
148
click to vote
ENTCS
2007
15 years 6 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
143
click to vote
DIAGRAMS
2006
Springer
15 years 9 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
223
click to vote
SACMAT
2009
ACM
16 years 18 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...