2850 search results - page 316 / 570 » On Timed Models and Full Abstraction |
215
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
The situation in which a choice is made is an important information for recommender systems. Context-aware recommenders take this information into account to make predictions. So ...
132
click to vote
ISPW
1991
IEEE
15 years 10 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
174
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
201
click to vote
IC
2000
15 years 8 months ago
2000
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....
177
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...