906 search results - page 3 / 182 » Linking Theories of Concurrency |
ENTCS
2008
14 years 9 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Wireless routers equipped with smart antennas are capable of forming beams to neighboring devices to transmit/receive multiple packets simultaneously, hence achieving high netw...
EJC
2008
14 years 9 months ago
2008
The notion of noncrossing linked partition arose from the study of certain transforms in free probability theory. It is known that the number of noncrossing linked partitions of [...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
—We analyze fading interference relay networks where M single-antenna source-destination terminal pairs communicate concurrently and in the same frequency band through a set of K...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...