1941 search results - page 356 / 389 » The architecture design of a cross-domain context management... |
WSC
2007
15 years 3 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
108
click to vote
COMCOM
2006
15 years 1 months ago
2006
This paper discusses issues of personalization of presence services in the context of Internet Telephony. Such services take into consideration the willingness and ability of a use...
120
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
106
click to vote
SOUPS
2009
ACM
15 years 7 months ago
2009
ACM
Feedback is viewed as an essential element of ubiquitous computing systems in the HCI literature for helping people manage their privacy. However, the success of online social net...
133
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...