557 search results - page 43 / 112 » Calculi for Service-Oriented Computing |
SAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
FOSSACS
2006
Springer
14 years 21 days ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
ESCIENCE
2007
IEEE
14 years 3 months ago
2007
IEEE
Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are...
AICCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
The most challenging issues in Nomadic Computing environments arise from the combination of heterogeneity, dynamism, context-awareness, and mobility. Driven by these issues, this ...