Sciweavers

1411 search results - page 139 / 283
» Case Studies of an Insider Framework
Sort
View
FORMATS
2008
Springer
15 years 23 days ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B...
ECIS
2004
15 years 18 days ago
Fight risk with risk: reflexivity of risk and globalization in IS
In this paper, we address the following research question: "How can we understand the nature of risk in IS projects in the context of globalization?" Based on a case stu...
Edoardo Jacucci, Miria Grisot, Ole Hanseth
JC
1998
65views more  JC 1998»
14 years 11 months ago
Monte Carlo Complexity of Global Solution of Integral Equations
The problem of global solution of Fredholm integral equations is studied. This means that one seeks to approximate the full solution function (as opposed to the local problem, whe...
Stefan Heinrich
ICSE
2009
IEEE-ACM
14 years 9 months ago
Configuration aware prioritization techniques in regression testing
Configurable software lets users customize applications in many ways, and is becoming increasingly prevalent. Regression testing is an important but expensive way to build confide...
Xiao Qu
ICASSP
2011
IEEE
14 years 2 months ago
Fixed point iteration for max-min sir balancing with general interference functions
This paper studies the convergence of a fixed point iteration algorithm for the problem of max-min signal-to-interference ratio (SIR) balancing. Differently from the existing wor...
Nikola Vucic, Martin Schubert