571 search results - page 9 / 115 » A principled approach to operating system construction in Ha... |
HOTOS
2007
IEEE
13 years 11 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
HICSS
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, an approach based on the combination of discrete Hidden Markov Models (HMMs) in the ROC space is proposed to improve the performance of off-line signature verificat...
WSC
2001
13 years 8 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small ...