2273 search results - page 71 / 455 » On the Expressiveness and Complexity of ATL |
164
click to vote
CCS
2007
ACM
16 years 11 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
160
click to vote
CMSB
2007
Springer
16 years 11 days ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
147
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
We have created an automatic cinematography system for interactive virtual environments. This system controls a virtual camera and lights in a three-dimensional virtual world inha...
181
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: While in principle a seemingly infinite variety of combinations of mutations could result in tumor development, in practice it appears that most human cancers fall int...