Sciweavers

2271 search results - page 400 / 455
» Research Methods for Human-Computer Interaction
Sort
View
108
Voted
ECSQARU
2009
Springer
15 years 9 months ago
The Probabilistic Interpretation of Model-Based Diagnosis
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
Ildikó Flesch, Peter J. F. Lucas
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 9 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
162
Voted
AGILEDC
2007
IEEE
15 years 8 months ago
The Social Nature of Agile Teams
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
Elizabeth Whitworth, Robert Biddle
CEC
2007
IEEE
15 years 8 months ago
Evolving tiles for automated self-assembly design
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
Germán Terrazas, Marian Gheorghe, Graham Ke...
HICSS
2007
IEEE
182views Biometrics» more  HICSS 2007»
15 years 8 months ago
An Empirical Assessment of Factors that Influence the Effectiveness of SMS Advertising
Mobile advertising has emerged as one of the most popular applications in mobile commerce, particularly in the form of SMS advertising campaigns. However, looking at the process o...
Dimitris Drossos, George M. Giaglis, George Lekako...