6016 search results - page 1010 / 1204 » The semantics of graphical languages |
213
click to vote
VEE
2005
ACM
16 years 5 days ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...
202
click to vote
COORDINATION
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
171
click to vote
DSOM
2005
Springer
16 years 4 days ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
180
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
169
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...