2067 search results - page 380 / 414 » Logics of propositional control |
176
click to vote
FC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The dawning Ubiquitous Computing age demands a new attacker model for the myriads of pervasive computing devices used: since a potentially malicious user is in full contr...
348
click to vote
JTRES
2010
ACM
15 years 1 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
133
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
129
click to vote
ENTCS
2008
15 years 1 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
107
click to vote
FMSD
2006
15 years 1 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...