434 search results - page 28 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
107
click to vote
CSFW
2012
IEEE
13 years 7 days ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
SERVICES
2008
14 years 11 months ago
2008
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...
LATA
2010
Springer
14 years 8 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
175
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...