329 search results - page 43 / 66 » Communications Semantics for WSBPEL Processes |
IC
2007
13 years 10 months ago
2007
—With the advent of the Internet, we have entered the age of ubiquitous systems that will need to be able to communicate, establish criteria for measurement and then perform thes...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
SIGCOMM
1994
ACM
14 years 24 days ago
1994
ACM
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...