5 search results - page 1 / 1 » Hidden Safety Requirements in Large-Scale Systems |
IFIP
1994
Springer
13 years 9 months ago
1994
Springer
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate ...
FMICS
2007
Springer
13 years 11 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
ISMAR
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper presents a method to create an illusion of seeing moving objects through occluding surfaces in a video. This illusion is achieved by transferring information from a cam...
ERCIMDL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
SIGCOMM
2005
ACM
13 years 10 months ago
2005
ACM
Thousands of competing autonomous systems must cooperate with each other to provide global Internet connectivity. Each autonomous system (AS) encodes various economic, business, a...