3564 search results - page 264 / 713 » Evaluating a Formal Modelling Language |
156
click to vote
SCAM
2008
IEEE
16 years 19 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
161
click to vote
QEST
2009
IEEE
16 years 29 days ago
2009
IEEE
—We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The be...
168
click to vote
CSFW
2006
IEEE
16 years 9 days ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
171
click to vote
EJC
2008
15 years 7 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
148
Voted
JNSM
2007
15 years 6 months ago
2007
This paper traces the history of policy-based management and how it evolved from the first security models dating back to the late 1960’s until today’s more elaborate framewo...