1486 search results - page 210 / 298 » Firewall Rules Analysis |
106
click to vote
JLP
2010
14 years 6 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
101
click to vote
ALDT
2011
Springer
13 years 12 months ago
2011
Springer
A variety of preference aggregation schemes and voting rules have been developed in social choice to support group decision making. However, the requirement that participants provi...
114
click to vote
SIGSOFT
2008
ACM
16 years 19 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
180
Voted
POPL
2006
ACM
16 years 6 days ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
111
click to vote
EDBT
2008
ACM
16 years 17 hour ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...