4164 search results - page 410 / 833 » Application and desktop sharing |
177
click to vote
ECIS
2001
15 years 9 months ago
2001
Interpretivist research in progress in a market research company is reported. Market research is information and knowledge intensive. The problem addressed concerns sharing inform...
195
click to vote
MASCOTS
2004
15 years 9 months ago
2004
Distributed applications using file sharing and file replication, conferencing, and delivery in multimedia systems often need to use the semantics of causal multicast. Causal mult...
221
Voted
SPLST
2003
15 years 9 months ago
2003
A software product line can be used to implement a software product family that is a set of software products sharing common features. A natural implementation strategy for a softw...
191
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: - In this paper we address two problems, for which we present novel, efficient, algorithmic solutions. The first problem is motivated by practical situations and is concerned wit...
183
click to vote
ENTCS
2008
15 years 7 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...