4693 search results - page 917 / 939 » Verifying Hybrid Systems |
128
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
The need of processing graph reachability queries stems from many applications that manage complex data as graphs. The applications include transportation network, Internet traffic...
120
click to vote
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
121
Voted
MOBIHOC
2008
ACM
16 years 3 months ago
2008
ACM
For long, node cooperation has been exploited as a data relaying mechanism. However, the wireless channel allows for much richer interaction between nodes. One such scenario is in...
132
Voted
PLDI
2010
ACM
16 years 27 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
128
Voted
PLDI
2010
ACM
16 years 27 days ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...