2664 search results - page 47 / 533 » Theory by Process |
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
ICDT
2007
ACM
14 years 2 months ago
2007
ACM
Information integration is becoming a critical problem for businesses and individuals alike. Data volumes are sky-rocketing, and new sources and types of information are proliferat...
ICDE
2006
IEEE
14 years 2 months ago
2006
IEEE
We consider pragmatic issues in applying constraint-based theories (such as that developed for data exchange) to a variety of problems. We identify disconnects between theoreticia...
NETGAMES
2006
ACM
14 years 2 months ago
2006
ACM
— A practical pricing mechanism is the foundation for the deploying of IP multicast in the inter-domain Internet. The IP multicast service model and its pricing mechanism are dis...
ICWL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper calls on activity theory as tool for analyzing Asynchronous Learning Networks (ALN) to achieve a better understanding of their dynamics. This paper makes some ...