1356 search results - page 21 / 272 » A variable-free dynamic semantics |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
SKG
2005
IEEE
14 years 3 months ago
2005
IEEE
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
AICT
2006
IEEE
14 years 3 months ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...
ICAS
2009
IEEE
14 years 4 months ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
ASM
2000
ASM
14 years 2 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...