233 search results - page 6 / 47 » BlenX Static and Dynamic Semantics |
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Business processes are often statically implemented and may not be established ad-hoc. For the realization of dynamic process configurations that demand for changes in these imple...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
AICT
2006
IEEE
14 years 1 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 ...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— We present GATMO (Generalized Approach to Tracking Movable Objects), a system for localization and mapping that incorporates the dynamic nature of the environment while maintai...
ICFP
2002
ACM
14 years 7 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...