2407 search results - page 266 / 482 » A Tool for Abstraction in Model Checking |
183
click to vote
VSTTE
2005
Springer
16 years 20 days ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
189
click to vote
FASE
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
198
click to vote
CC
2003
Springer
16 years 12 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
226
click to vote
DEON
2010
Springer
16 years 1 hour ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
212
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...