4036 search results - page 559 / 808 » Formal Methods |
181
click to vote
SAFECOMP
2007
Springer
16 years 21 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
183
Voted
SAINT
2006
IEEE
16 years 18 days ago
2006
IEEE
Previous works on information extraction from tables make use of prior knowledge such as a cognition model of tables or lexical knowledge bases for specific domains. However, we ...
213
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
176
click to vote
WACV
2005
IEEE
16 years 5 days ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
180
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...