6978 search results - page 1072 / 1396 » On Proofs in System P |
192
click to vote
BSN
2006
IEEE
15 years 10 months ago
2006
IEEE
The eWatch is a wearable sensing, notification, and computing platform built into a wrist watch form factor making it highly available, instantly viewable, ideally located for sen...
168
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes two self-optimisation techniques that have been employed in the design of two exemplar agent-based mobile computing systems, namely Gullivers Genie and the Ag...
185
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...
170
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Current e-learning standards have been designed to provide reusability of educational contents and interoperability between systems. Besides these features, content perso...
198
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...