2004 search results - page 142 / 401 » Comparison of Model Checking Tools for Information Systems |
153
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
128
Voted
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
153
Voted
CHI
2007
ACM
15 years 9 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
134
click to vote
GFKL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...
144
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...