5334 search results - page 342 / 1067 » Communicating quantum processes |
152
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...
184
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...
151
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
170
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
173
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...