1177 search results - page 164 / 236 » A Theory of Role Composition |
198
click to vote
HT
2009
ACM
16 years 28 days 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...
175
click to vote
COMPSAC
2008
IEEE
16 years 27 days 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 ...
186
click to vote
TPHOL
2008
IEEE
16 years 24 days 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...
170
click to vote
CISS
2007
IEEE
16 years 23 days 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...
146
click to vote
HICSS
2007
IEEE
16 years 22 days 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...