8828 search results - page 1755 / 1766 » Formal methods in practice |
BMVC
2010
14 years 7 months ago
2010
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
102
click to vote
CASCON
2010
14 years 7 months ago
2010
Today, we are witnessing a new level of scale, complexity, and pervasiveness of software systems that are designed to support much more holistically complex processes. Much richer...
115
click to vote
EMISA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract: Enterprises are socio technical systems whose management involves multiple stakeholders each demanding for a distinct perspective on the enterprise. A large number of mod...
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Nowadays, the Quality of Service (QoS) in Optical Grids has become a key issue. An important QoS factor is the resiliency, namely the ability to survive from certain network failur...
101
click to vote
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...