1150 search results - page 20 / 230 » Specifying Information-Flow Controls |
151
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
144
click to vote
WSC
1997
15 years 7 months ago
1997
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification o...
162
click to vote
EDOC
2006
IEEE
15 years 12 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
170
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
143
click to vote
CSSE
2004
IEEE
15 years 5 months ago
2004
IEEE
The Synchronized Multimedia Integration Language (SMIL) [Aya01] is an W3C [W3C03] specification for authoring multimedia documents. Although SMIL has XML like syntactic constructs...