10159 search results - page 1701 / 2032 » System Design Validation Using Formal Models |
200
click to vote
ECTEL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
202
click to vote
SIGMETRICS
2010
ACM
15 years 7 months ago
2010
ACM
Sharing content over a mobile network through opportunistic contacts has recently received considerable attention. In proposed scenarios, users store content they download in a lo...
209
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Facebook recently deployed Facebook Messages, its first ever user-facing application built on the Apache Hadoop platform. Apache HBase is a database-like layer built on Hadoop des...
173
click to vote
INFOCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
— In this paper, we propose a cost-based model to evaluate the resources that each node has to contribute for participating in an overlay network. Such a cost model allows to gau...
204
click to vote
AIRS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...