1638 search results - page 227 / 328 » A General Semantics for Evaluation Logic |
185
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...
152
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
158
click to vote
ICTAI
2008
IEEE
16 years 24 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
151
click to vote
ACSC
2007
IEEE
16 years 22 days ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
184
click to vote
IEEEARES
2006
IEEE
16 years 13 days ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...