3863 search results - page 161 / 773 » Function in Device Representation |
133
click to vote
ECUMN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
140
click to vote
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in co...
218
Voted
GI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
138
Voted
CSCWD
2007
Springer
15 years 10 months ago
2007
Springer
The context of a collective activity is characterized by all information produced during the activity. The comprehension of this context by each actor is essential for the success...
145
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...