359 search results - page 36 / 72 » On Complete Primitives for Fairness |
106
Voted
AAAI
1992
15 years 1 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...
95
Voted
ECEASST
2008
15 years 23 days 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...
106
Voted
ACTA
2005
15 years 18 days 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 ...
99
Voted
CHI
2003
ACM
16 years 1 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...
GLOBECOM
2009
IEEE
15 years 7 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 ...