10072 search results - page 265 / 2015 » Composition of Model Programs |
180
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
165
click to vote
ADBIS
2005
Springer
16 years 5 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
185
click to vote
ICFEM
2004
Springer
16 years 55 min ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...