7366 search results - page 763 / 1474 » Development of the Information Systems Implementation Resear... |
235
click to vote
BCS
2008
15 years 8 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
196
Voted
PCI
2001
Springer
15 years 12 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
242
click to vote
CJ
2002
15 years 7 months ago
2002
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...
199
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
Many recently proposed perceptual image quality assessment algorithms are implemented in two stages. In the first stage, image quality is evaluated within local regions. This resu...
225
Voted
CCO
2001
Springer
15 years 12 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...