557 search results - page 70 / 112 » Calculi for Service-Oriented Computing |
CMSB
2009
Springer
14 years 3 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
PERCOM
2005
ACM
14 years 8 months ago
2005
ACM
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
The increasing usage of smart embedded devices is blurring the line between the virtual and real worlds. This creates new opportunities for applications to better integrate the re...
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
Currently, business requirements for rapid operational efficiency, customer responsiveness as well as rapid adaptability are driving the need for ever increasing communication and...