4211 search results - page 491 / 843 » A formal approach to MASQ |
155
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
168
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
157
click to vote
DIGRA
2003
Springer
16 years 1 days ago
2003
Springer
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....
173
click to vote
FM
2003
Springer
16 years 23 hour ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
176
click to vote
FM
2003
Springer
16 years 23 hour ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...