JDIM
2010
13 years 7 months ago
2010
: This paper explores the design, implementation and evaluation of context-aware mobile multimedia services by presenting six case studies on different application domains. The cas...
SPE
2010
13 years 11 months ago
2010
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
SCFBM
2008
14 years 20 hour ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
SIGCSE
2002
ACM
14 years 6 days ago
2002
ACM
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
JACM
2002
14 years 7 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
IWC
2002
14 years 7 days ago
2002
Interest in the analysis of user behaviour on the Internet has been increasing rapidly, especially since the advent of electronic commerce. In this context, we argue here for the ...
ETS
2002
IEEE
14 years 10 days ago
2002
IEEE
For almost a century, the Harvard Business School has used case studies as the basis for experiential learning in both MBA and Executive Education courses. This article presents a...
CONCURRENCY
2002
14 years 11 days ago
2002
In this paper, we outline the design of a recommendation system (MyPYTHIA) implemented as a web portal. MyPYTHIA's design objectives include evaluating the quality and perfor...
JTAER
2007
14 years 13 days ago
2007
Sixteen wireless case studies highlight issues relating to mobile commerce in Australia. The issues include: the need for a clear business case; difficulty of achieving critical m...
STTT
2008
14 years 14 days ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...