This paper describes our experience of doing variation analysis of known security vulnerabilities in C++ projects including core operating system and browser COM components, using an extended static checker HAVOC-LITE. We describe the extensions made to the tool to be applicable on such large components, along with our experience of using an extended static checker in the large. We argue that t...

Let X,, , X, be a sequence of independent and identically distributed random variables with an unknown underlying continuous cumulative distribution function F. Relative to this unknown distribution function suppose one would like to test a null hypothesis concerning the goodness of fit of F to some distribution function using symmetric functions of sample spacings. In some applications the nul...

June 1, 2010 Version 0.7-0 Date 2010-04-07 Title Non-supervised Regional Frequency Analysis Author Alberto Viglione Maintainer Alberto Viglione Depends stats, graphics Description A collection of statistical tools for objective (non-supervised) applications of the Regional Frequency Analysis methods in hydrology. The package refers to the index-value method and, mo...

It seems to be a platitude that belief is governed by a norm of truth. Isn’t the point of belief to believe truths ? Isn’t it a requirement of believing that we should not believe falsehoods? A number of philosophers, however, deny this. Although they recognise that there is an intimate connection between belief and truth, they reject the idea that this connection is normative. Indeed, they tel...

MESERVEY, R., 1971. The coastline fit of Africa and South America. Palaeogeography, Palaeoclimatol., Palaeoecol., 9: 233-243. It has become axiomatic that the pre-drift reconstruction of Africa and South America is to be made by fitting together the continental shelves. Although this procedure is very plausible, actually the detailed fit of the coastlines is better than that of the shelves and ...

Mindfulness is an important emerging concept in society. This research posits that a user’s mindful state when adopting a technology is a crucial factor that determines how the technology will fit the task context at the postadoption stage and, thus, has profound influence on user adoption and continued use of technology. Based on the mindfulness literature, we conceive of a new concept (mindfu...

In the face of heighted competition, organizations need to continuously improve their competitive advantage. Both knowledge management (KM) and knowledge management systems (KMS) play a pivotal role in helping organizations to stay competitive. There is much research in KMS, however very little is known about how they affect individual and organizational performance. Drawing on task-technology ...

In a recent paper, Venkatesh et al. (2003) examine a series of models that explain or predict user acceptance of information technology. These models included the Technology Acceptance Model (Davis et al., 1989), Computer Self Efficacy (Compeau and Higgins, 1995) and other models of user behavior, intention, or affect. Their study combined these models to form a Unified Model, which the authors...

In this paper, we apply the theory of task technology fit to mobile technology, focusing specifi−cally on the role of user mobility. We describe the results of an empirical study of 216 business users of mobile devices that included various smart phones, personal digital assistants (PDAs), and laptop computers. Our findings suggest that (1) the relationship between task difficulty and functiona...