2664 search results - page 47 / 533 » Theory by Process |
136
click to vote
FOSSACS
2007
Springer
15 years 10 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...
140
click to vote
ICDT
2007
ACM
15 years 10 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...
113
click to vote
ICDE
2006
IEEE
15 years 10 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...
128
click to vote
NETGAMES
2006
ACM
15 years 10 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...
136
click to vote
ICWL
2004
Springer
15 years 10 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 ...