1830 search results - page 32 / 366 » Centering in Dynamic Semantics |
107
click to vote
SKG
2005
IEEE
15 years 4 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
15 years 5 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 ...
94
Voted
ICAS
2009
IEEE
15 years 5 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
15 years 3 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 ...
ESOP
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...