1418 search results - page 149 / 284 » The Dynamic Complexity of Formal Languages |
166
click to vote
FMSB
2008
15 years 6 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
166
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
150
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
163
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
126
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...