359 search results - page 36 / 72 » On Complete Primitives for Fairness |
170
click to vote
AAAI
1992
15 years 7 months ago
1992
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
168
click to vote
ECEASST
2008
15 years 6 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
163
click to vote
ACTA
2005
15 years 6 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
180
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This study used eye-tracking technology to assess where helpers look as they are providing assistance to a worker during collaborative physical tasks. Gaze direction was coded int...
174
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We investigate distributed channel-aware random access for networks with arbitrary topologies and traffic distributions, where users can receive traffic from or send traffic ...