373 search results - page 57 / 75 » Model Checking Techniques applied to the design of Web Servi... |
JIPS
2010
14 years 4 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
FOIS
2006
14 years 11 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
JCDL
2009
ACM
15 years 4 months ago
2009
ACM
Web users are spending more of their time and creative energies within online social networking systems. While many of these networks allow users to export their personal data or ...
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...