1177 search results - page 164 / 236 » A Theory of Role Composition |
137
Voted
HT
2009
ACM
15 years 7 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
119
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
106
click to vote
CISS
2007
IEEE
15 years 7 months ago
2007
IEEE
— Assuming full channel state information (CSI) at both transmitter (CSIT) and receiver (CSIR), we consider optimizing a nonlinear MIMO transceiver with (nonlinear) decision feed...
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we describe an interactive community bulletin board we installed within a neighborhood café and art gallery, and the interactions that take place around and through...