1830 search results - page 116 / 366 » Centering in Dynamic Semantics |
SWAP
2008
15 years 24 days ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
AAAI
2006
15 years 23 days ago
2006
Many common web tasks can be automated by algorithms that are able to identify web objects relevant to the user's needs. This paper presents a novel approach to web object id...
MUM
2004
ACM
15 years 4 months ago
2004
ACM
The Task Computing framework is designed to operate in dynamic ubiquitous environments in which a mobile computing user dynamically discovers the current set of available semantic...
106
click to vote
ESOP
2011
Springer
14 years 2 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
APCCM
2009
15 years 15 days ago
2009
In the design of multimedia systems, one of the important issues is how to deal with "Kansei" of human beings. The concept of "Kansei" in Japanese includes sev...