2786 search results - page 303 / 558 » A Practical Technique for Process Abstraction |
196
click to vote
ACMSE
2006
ACM
16 years 18 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
161
Voted
SIGCOMM
2006
ACM
16 years 17 days ago
2006
ACM
We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of ...
167
click to vote
AIME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Clinical Practice Guidelines (CPGs) are increasingly common in clinical medicine for prescribing a set of rules that a physician should follow. Recent interest is in accu...
159
click to vote
ATVA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
174
click to vote
CASC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...