1404 search results - page 113 / 281 » Ambient computing applications: an experience with the SPREA... |
159
click to vote
MOMM
2009
ACM
15 years 11 months ago
2009
ACM
New directions in the provision of end-user computing experiences mean that we need to determine the best way to share data between small mobile computing devices. Partitioning la...
178
click to vote
JUCS
2010
15 years 4 months ago
2010
: With the spreading of embedded and mobile devices, public-key cryptography has become an important feature for securing communication and protecting personal data. However, the c...
194
click to vote
ADBIS
2000
Springer
15 years 10 months ago
2000
Springer
The integration of bibliographical data today is considered one of the most important tasks in the area of digital libraries. Various available sources of bibliographical informati...
155
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we describe an automated system, and its attendant set of techniques and tools, that is able to generate novel multimedia experiences. Using existing online sources,...
185
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...