5334 search results - page 40 / 1067 » Communicating quantum processes |
CMG
2007
15 years 3 months ago
2007
Most modern applications are networked and make heavy use of various communication protocols such as TCP/IP and SOAP over HTTP in case of Web Services. This paper presents the res...
107
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Distributed work teams are increasingly being implemented to enhance organizational flexibility and competitiveness in today's complex and rapidly changing work environment. ...
143
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
PUC
2002
15 years 1 months ago
2002
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...