3468 search results - page 577 / 694 » An open logical framework |
100
Voted
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
103
click to vote
CCS
2010
ACM
15 years 27 days ago
2010
ACM
Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...
88
Voted
C++
1994
15 years 2 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
101
Voted
AAMAS
2010
Springer
15 years 25 days ago
2010
Springer
POMDPs and their decentralized multiagent counterparts, DEC-POMDPs, offer a rich framework for sequential decision making under uncertainty. Their computational complexity, howeve...
100
Voted
AUTOMATICA
2008
15 years 25 days ago
2008
In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions...