146 search results - page 20 / 30 » Modeling System Safety Requirements Using Input Output Const... |
135
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
131
click to vote
IRI
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract – In order to fulfill the functional requirements of multimedia management systems while achieving the efficiency and reliability at the same time, we adopt the compone...
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Triggered by several embarrassing (and costly) IT project collapses in New Zealand’s public sector, a government report found that effective project control required good govern...
177
click to vote
NIPS
2007
15 years 4 months ago
2007
In online handwriting recognition the trajectory of the pen is recorded during writing. Although the trajectory provides a compact and complete representation of the written outpu...
127
click to vote
RTS
2008
15 years 2 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...