2514 search results - page 406 / 503 » The use of industrial-strength formal methods |
183
click to vote
ATAL
2009
Springer
16 years 27 days ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
151
click to vote
ISSTA
2009
ACM
16 years 25 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
164
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
136
click to vote
IWPC
2008
IEEE
16 years 22 days ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
165
click to vote
MEMOCODE
2007
IEEE
16 years 18 days ago
2007
IEEE
Orthogonal Frequency-Division Multiplexing (OFDM) has become the preferred modulation scheme for both broadband and high bitrate digital wireless protocols because of its spectral...