1356 search results - page 168 / 272 » The ideal of verified software |
154
click to vote
FSEN
2007
Springer
16 years 15 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
146
click to vote
FSTTCS
2007
Springer
16 years 15 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
165
click to vote
SEKE
2007
Springer
16 years 13 days ago
2007
Springer
Mismatches in QoS (Quality of Service) often appears as a major but implicit hurdle to smooth component integration. This paper presents a solution to the above problem through pr...
169
click to vote
IAT
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
166
click to vote
ISCAS
2006
IEEE
16 years 10 days ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...